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\)-calculuslogical semanticscoherence spacesintersection type assignment systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) 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

• 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?)
• 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 \(\lambda\)-models
• Domain theory in logical form
• Full abstraction in the lazy lambda calculus
• 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

(6)

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

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)