The Scott model of Linear Logic is the extensional collapse of its relational model

Thomas Ehrhard (1)

1 PPS - Preuves, Programmes et Systèmes

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

Mots clés: Denotational semantics; Linear Logic

Domaines: Logique en informatique [cs.LO]

Thomas Ehrhard. The Scott model of Linear Logic is the extensional collapse of its relational model. Theoretical Computer Science, 2012, 424, pp.20-45. ⟨10.1016/j.tcs.2011.11.027⟩. ⟨hal-00369831⟩