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




The Scott model of Linear Logic is the extensional collapse of its relational model - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes

Abstract : 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.

keyword : Denotational semantics Linear Logic





Autor: Thomas Ehrhard -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados