Logical semantics for stability

DOI10.1016/J.ENTCS.2009.07.101MaRDI QIDQ2805169zbMATH OpenOpenAlexWikidataFDO

Authors Luca Paolini, Mauro Piccolo, Simona 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

\(\lambda\)-calculuscoherence spacesintersection type assignment systemslogical semantics

Mathematics Subject Classification ID

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

Recommendations

• Essential and relational models
• Intersection types and lambda models
• A Filter Model for the λμ-Calculus
• Intersection types and computational rules
• scientific article; zbMATH DE number 1841834

Cites work

• A filter lambda model and the completeness of type assignment
• An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
• An extension of basic functionality theory for -calculus
• Behavioural inverse limit -models
• Domain theory in logical form
• Full abstraction in the lazy lambda calculus
• scientific article; zbMATH DE number 3889502 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 92599 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• Lambda‐Calculus Models and Extensionality
• Linear logic
• Models of the lambda calculus
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• 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
• What is a model of the lambda calculus?

Cited in

(7)

• Stability of weak second-order semantics
• On stability of a formal concept
• scientific article; zbMATH DE number 408799 (Why is no real title available?)
• Stability and General Logics
• Stable reasoning
• Essential and relational models
• Intersection types and denotational semantics: an extended abstract (invited paper)

This page was built for publication: Logical semantics for stability

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