On polymorphic types of untyped terms

DOI10.1016/J.JCSS.2014.04.008zbMath1311.03031OpenAlexW2032679009MaRDI QIDQ2453585

Richard Statman

Publication date: 10 June 2014

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2014.04.008

zbMATH Keywords

lambda calculusBöhm's theoremlambda calculus with surjective pairingpolymorphic typings

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
• Unnamed Item
• Unnamed Item

This page was built for publication: On polymorphic types of untyped terms