Publication:3077958

zbMath1347.03001MaRDI QIDQ3077958

Richard Statman, H. P. Barendregt, Wil Dekkers

Publication date: 18 February 2011

zbMATH Keywords

lambda calculus; intersection types; simple types, recursive types

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03B70: Logic in computer science

03B40: Combinatory logic and lambda calculus

03D75: Abstract and axiomatic computability and recursion theory