Publication:3086781
From MaRDI portal
zbMath1226.03019MaRDI QIDQ3086781
Publication date: 30 March 2011
propositional type theory; simply typed lambda terms; pure lambda calculus; set-theoretic type hierarchy
03B40: Combinatory logic and lambda calculus
Uses Software