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