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, Existential Type Systems with No Types in Terms
Cites Work