PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS

DOI10.1142/S0129054191000108zbMath0746.03012OpenAlexW2156041815MaRDI QIDQ3988840

Sachio Hirokawa

Publication date: 28 June 1992

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054191000108

zbMATH Keywords

typed \(\lambda\)-calculusprincipal type assignment

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Principal type-schemes of BCI-lambda-terms ⋮ The converse principal type-scheme theorem in lambda calculus

This page was built for publication: PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS