On Polymorphic Types of Untyped Terms

DOI10.1007/978-3-642-20920-8_24zbMath1328.03011OpenAlexW1490756711MaRDI QIDQ3003364

Richard Statman

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_24

zbMATH Keywords

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Levy Labels and Recursive Types

This page was built for publication: On Polymorphic Types of Untyped Terms