Publication:5442833
From MaRDI portal
zbMath1135.03006MaRDI QIDQ5442833
Publication date: 22 February 2008
intuitionistic logic; functional programming language; type-theory; lambda-calculus; type-checking algorithm; type-assignment; polymorphic theories
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B70: Logic in computer science
03B20: Subsystems of classical logic (including intuitionistic logic)
03B40: Combinatory logic and lambda calculus
Related Items