Approximation Theorems for Intersection Type Systems

DOI10.1093/LOGCOM/11.3.395zbMath0984.03013OpenAlexW1964097782MaRDI QIDQ2752528

Mariangiola Dezani-Ciancaglini, Yoko Motohama, Furio Honsell

Publication date: 5 May 2002

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

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

zbMATH Keywords

\(\lambda\)-calculusintersection typesapproximation theoremset-theoretical semantics of types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Cut-elimination in the strict intersection type assignment system is strongly normalizing ⋮ The approximation theorem for the Λμ-calculus

This page was built for publication: Approximation Theorems for Intersection Type Systems