The range property fails for H

DOI10.2178/JSL.7704080zbMath1294.03017OpenAlexW1982823696MaRDI QIDQ4899168

Andrew Polonsky

Publication date: 7 January 2013

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1350315583

zbMATH Keywords

lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Lambda theories allowing terms with a finite number of fixed points

Cites Work

• Towards the range property for the lambda theory \(\mathcal H\)
• Constructive proofs of the range property in lambda calculus

This page was built for publication: The range property fails for H