Article Dans Une Revue Theoretical Computer Science Année : 2012

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

Thomas Ehrhard

Résumé

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.

Fichier principal
Vignette du fichier
relscott.pdf (451.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-00369831 , version 1 (22-03-2009)

Licence

Identifiants

Citer

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⟩
230 Consultations
252 Téléchargements

Altmetric

Partager

  • More