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

DOI10.1016/j.tcs.2011.11.027zbMath1241.03024OpenAlexW2072411754MaRDI 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 logicdenotational semanticslambda-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

Related Items

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

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