The converse principal type-scheme theorem in lambda calculus
From MaRDI portal
Publication:1194107
DOI10.1007/BF00370332zbMath0786.03014MaRDI QIDQ1194107
Publication date: 27 September 1992
Published in: Studia Logica (Search for Journal in Brave)
\(\lambda\)-calculus; adjoint terms; BCIW-\(\lambda\)-terms; converse principal type-scheme theorem; principal type-assignment figures
03B40: Combinatory logic and lambda calculus
Related Items
Principal type-schemes of BCI-lambda-terms, Two beta-equal lambda-I-terms with no types in common, Most general first order theorems are not recursively enumerable
Cites Work