The Scott model of linear logic is the extensional collapse of its relational model

DOI10.1016/j.tcs.2011.11.027zbMath1241.03024MaRDI QIDQ418011

Thomas Ehrhard

Publication date: 14 May 2012

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

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

zbMATH Keywords

linear logic; denotational semantics; lambda-calculus

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03B40: Combinatory logic and lambda calculus

Related Items

Unnamed Item, An introduction to differential linear logic: proof-nets, models and antiderivatives, Unnamed Item, On geometry of interaction for polarized linear logic, A relational semantics for parallelism and non-determinism in a functional setting, Non-idempotent intersection types in logical form, Call-By-Push-Value from a Linear Logic Point of View

Cites Work

• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Linear logic
• Differential interaction nets
• Uniformity and the Taylor expansion of ordinary lambda-terms
• The system \({\mathcal F}\) of variable types, fifteen years later
• Normal functors, power series and \(\lambda\)-calculus
• LCF considered as a programming language
• Linear types and approximation
• A Relational Model of a Parallel and Non-deterministic λ-Calculus
• Not Enough Points Is Enough
• Data Types as Lattices
• On Köthe sequence spaces and linear logic
• Intensional interpretations of functionals of finite type I
• Finiteness spaces
• Linear domains and linear maps
• On phase semantics and denotational semantics: The exponentials
• Two applications of analytic functors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item