Solution to the range problem for combinatory logic

MaRDI QIDQ2882383zbMATH OpenFDO

Authors Benedetto Intrigila, Richard Statman

Publication date 4 May 2012

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL http://iospress.metapress.com/content/a6n2u77686g23072/fulltext.html

zbMATH Keywords

combinatory logiclambda-calculusrange problem

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Towards the range property for the lambda theory \(\mathcal H\)
• The range property fails for H
• Solution of a Problem of Barendregt on Sensible lambda-Theories
• Constructive proofs of the range property in lambda calculus
• Some results on extensionality in lambda calculus

Cited in

(4)

• Every countable poset is embeddable in the poset of unsolvable terms
• About the range property for H
• The range property fails for H
• Solution of a Problem of Barendregt on Sensible lambda-Theories

This page was built for publication: Solution to the range problem for combinatory logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2882383)