OpenAlex
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
Cites: 7
Cited by: 6
Related to: 10
FWCI:
Citation percentile (by year/subfield): 73.65
Open Access status: green