Principal Typing in a ∀Λ-Discipline

DOI10.1093/LOGCOM/5.3.367zbMath0826.03009OpenAlexW2091711296MaRDI QIDQ4835538

Maddalena Zacchi, Ines Margaria

Publication date: 28 November 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/5.3.367

zbMATH Keywords

approximationlambda calculuspolymorphic typeprincipal typingpolymorphic intersection type assignment

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (4)

Intersection type assignment systems ⋮ Types with intersection: An introduction ⋮ Intersection, Universally Quantified, and Reference Types ⋮ Generalized filter models

This page was built for publication: Principal Typing in a ∀Λ-Discipline