scientific article; zbMATH DE number 898452

MaRDI QIDQ4884240zbMATH OpenFDO

Authors Enno Folkerts

Publication date 8 July 1996

zbMATH Keywords

atomic termseta-reductionextensional lambda-calculusinvertibility of termstypeability of bijective termsunsolvable terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 3933067
• Some results on extensionality in lambda calculus
• No solvable lambda-value term left behind
• Infinite \(\lambda\)-calculus and types
• The interpretation of unsolvable λ-terms in models of untyped λ-calculus

Cited in

(2)

• scientific article; zbMATH DE number 1342275 (Why is no real title available?)
• No solvable lambda-value term left behind

This page was built for publication:

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