The Scott model of Linear Logic is the extensional collapse of its relational model (2011)
by
Thomas Ehrhard
| Citations: | 2 - 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}
}
Bookmark
 |
 |
 |
 |
 |
 |
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.
