Searching for "Recursion Theory and the Lambda-Calculus." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Applications of Plotkin-terms: partitions and morphisms for closed terms
- …-example to the perpendicular lines lemma for -conversion. 1. Introduction We use notations from recursion theory and lambda…
- Add To MetaCart
-
The Combinatory Algebras U and ... are not Equivalent
- …, recursion theory and lambda-calculus. We write f(x) ' g(x) for two partial functions f; g : X * Y and any x…
- Add To MetaCart
Showing 1 through 2.
