## The Scott model of Linear Logic is the extensional collapse of its relational model (2011)

by
Thomas Ehrhard

Citations: | 3 - 1 self |

### BibTeX

@MISC{Ehrhard11thescott,

author = {Thomas Ehrhard},

title = {The Scott model of Linear Logic is the extensional collapse of its relational model},

year = {2011}

}

### OpenURL

### Abstract

We show that the extensional collapse of the relational model of linear logic is the model of prime-algebraic complete lattices, a natural extension to linear logic of the well known Scott semantics of the lambda-calculus.