Constructive proofs of the range property in lambda calculus
From MaRDI portal
Publication:1314345
DOI10.1016/0304-3975(93)90083-6zbMath0796.03020MaRDI QIDQ1314345
Publication date: 26 September 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2066/17244
constructive proofs; coding of lambda-terms by natural numbers; Ershov numerations; range of a combinator; range property
03D45: Theory of numerations, effectively presented structures
03B40: Combinatory logic and lambda calculus
Related Items
Towards the range property for the lambda theory \(\mathcal H\), Some results on extensionality in lambda calculus
Cites Work