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.
-the relational model collapsing on Scott-continuous functions (between complete lattices) REF .
The Scott model of Linear Logic is the extensional collapse of its relational model
Mathematics Computer Science