Degrees of sensible lambda theories
Work
Year: 1978
Type: article
Abstract: Summary A λ-theory T is a consistent set of equations between λ-terms closed under derivability. The degree of T is the degree of the set of Gödel numbers of its elements. is the λ-theory axiomatized ... more
Source: Journal of Symbolic Logic
Institution Netherlands Heart Institute
Cites: 7
Cited by: 6
Related to: 10
FWCI:
Citation percentile (by year/subfield): 73.65
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green