Towards the range property for the lambda theory \(\mathcal H\)

DOI10.1016/J.TCS.2008.01.043zbMath1145.68008OpenAlexW2148375484MaRDI QIDQ930864

Hendrik Pieter Barendregt

Publication date: 24 June 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.01.043

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The range property fails for H

Cites Work

• Constructive proofs of the range property in lambda calculus
• Theorie der Numerierungen I
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards the range property for the lambda theory \(\mathcal H\)