Applications of Plotkin-terms: partitions and morphisms for closed terms

DOI10.1017/S0956796899003548MaRDI QIDQ4943310zbMATH OpenOpenAlexFDO

Authors Richard Statman, Henk Barendregt

Publication date 17 October 2000

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796899003548

zbMATH Keywords

closed term modelpure untyped lambda-terms

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Some results on extensionality in lambda calculus
• scientific article; zbMATH DE number 4045707
• scientific article; zbMATH DE number 176159
• scientific article; zbMATH DE number 1984520
• scientific article; zbMATH DE number 1342220

Cited in

(2)

• Applications of infinitary lambda calculus
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus

This page was built for publication: Applications of Plotkin-terms: partitions and morphisms for closed terms

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