The Scott model of Linear Logic is the extensional collapse of its relational model
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.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)