The Scott model of linear logic is the extensional collapse of its relational model
type: Item
instance of: scholarly article
title: The Scott model of linear logic is the extensional collapse of its relational model
zbMATH Open document ID: 1241.03024
author: Thomas Ehrhard
published in: Theoretical Computer Science
publication date: 2012-05-14T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6034863
zbMATH Keywords: denotational semantics
zbMATH Keywords: linear logic
zbMATH Keywords: lambda-calculus
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.11.027
OpenAlex ID: W2072411754
cites work: Q3506860
cites work: Q3411960
cites work: On phase semantics and denotational semantics: The exponentials
cites work: Not Enough Points Is Enough
cites work: A Relational Model of a Parallel and Non-deterministic λ-Calculus
cites work: Q4160405
cites work: Q3024825
cites work: Q4180525
cites work: Probabilistic coherence spaces as a model of higher-order probabilistic computation
cites work: Q2753680
cites work: On Köthe sequence spaces and linear logic
cites work: Finiteness spaces
cites work: Differential interaction nets
cites work: Uniformity and the Taylor expansion of ordinary lambda-terms
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Linear logic
cites work: Normal functors, power series and \(\lambda\)-calculus
cites work: Two applications of analytic functors
cites work: Linear types and approximation
cites work: Linear domains and linear maps
cites work: Q3997016
cites work: Q3023557
cites work: Q3075441
cites work: LCF considered as a programming language
cites work: Data Types as Lattices
cites work: Intensional interpretations of functionals of finite type I
cites work: Q4250359
cites work: Q4650579
DOI: 10.1016/J.TCS.2011.11.027
description: scientific article; zbMATH DE number 6034863