On Polymorphic Types of Untyped Terms
From MaRDI portal
Publication:3003364
DOI10.1007/978-3-642-20920-8_24zbMath1328.03011MaRDI QIDQ3003364
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
03B40: Combinatory logic and lambda calculus