Two behavioural lambda models

DOI10.1007/3-540-39185-1_8MaRDI QIDQ4435466zbMATH OpenFDO

Authors Mariangiola Dezani-Ciancaglini, Silvia Ghilezan

Publication date 12 November 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2646/26460127.htm

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Behavioural inverse limit -models
• A new model construction for the polymorphic lambda calculus
• Intersection types and lambda models
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models
• A model for behavioural properties of higher-order programs

Cited in

(6)

• Behavioural inverse limit -models
• Intersection types and lambda models
• Compositional characterisations of \(\lambda\)-terms using intersection types
• Intersection types and computational rules
• Solvability = typability + inhabitation
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication: Two behavioural lambda models

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