PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS

DOI10.1142/S0129054191000108MaRDI QIDQ3988840zbMATH OpenOpenAlexFDO

Authors 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

principal type assignmenttyped \(\lambda\)-calculus

Mathematics Subject Classification ID

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

Recommendations

• Principal type scheme and unification for intersection type discipline
• Principal Typing in a ∀Λ-Discipline
• scientific article; zbMATH DE number 7204434
• Principal types and unification for simple intersection type systems
• Principal Type Schemes for the Strict Type Assignment System

Cited in

(8)

• Principal type scheme and unification for intersection type discipline
• The converse principal type-scheme theorem in lambda calculus
• A decidable theory of type assignment
• scientific article; zbMATH DE number 1342274 (Why is no real title available?)
• scientific article; zbMATH DE number 1497851 (Why is no real title available?)
• Principal Typing in a ∀Λ-Discipline
• Principal type-schemes of BCI-lambda-terms
• scientific article; zbMATH DE number 7204434 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3988840)