Intersection types and domain operators

DOI10.1016/j.tcs.2004.01.022zbMath1055.03011OpenAlexW2101777182MaRDI QIDQ1434348

Mariangiola Dezani-Ciancaglini, Stefania Lusin, Fabio Alessi

Publication date: 4 August 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.01.022

zbMATH Keywords

lambda calculusintersection typesmodels of lambda calculuslambda theoriessimple easy terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Easy lambda-terms are not always simple, Easiness in graph models, Intersection types and lambda models, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, An irregular filter model, Intersection types and domain operators, Behavioural inverse limit \(\lambda\)-models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• An extension of basic functionality theory for \(\lambda\)-calculus
• Domain theory in logical form
• An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• On the Jacopini technique
• Intersection types and domain operators
• Behavioural inverse limit \(\lambda\)-models
• Simple Easy Terms
• A filter lambda model and the completeness of type assignment
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The Lattice of Lambda Theories