Logical Semantics for Stability

DOI10.1016/j.entcs.2009.07.101zbMath1338.03018OpenAlexW2037831204WikidataQ57722177 ScholiaQ57722177MaRDI QIDQ2805169

Luca Paolini, Mauro Piccolo, Simonetta Ronchi della Rocca

Publication date: 10 May 2016

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.101

zbMATH Keywords

coherence spaces\(\lambda\)-calculuslogical semanticsintersection type assignment systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Essential and relational models

Cites Work

• Linear logic
• The parametric lambda calculus. A metamodel for computation.
• The system \({\mathcal F}\) of variable types, fifteen years later
• 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
• Full abstraction in the lazy lambda calculus
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Behavioural inverse limit \(\lambda\)-models
• Models of the lambda calculus
• A filter lambda model and the completeness of type assignment
• Lambda‐Calculus Models and Extensionality
• What is a model of the lambda calculus?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical Semantics for Stability