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

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

by Thomas Ehrhard

Citations:

2 - 1 self

Datum	Value	Source
TITLE	The Scott model of Linear Logic is the extensional collapse of its relational model	SVM HeaderParse 0.2
AUTHOR NAME	Thomas Ehrhard	SVM HeaderParse 0.2
AUTHOR AFFIL	CNRS	SVM HeaderParse 0.2
AUTHOR ADDR	PPS, UMR 7126, Univ Paris Diderot, Sorbonne Paris Cité; F-75205 Paris, France	SVM HeaderParse 0.2
ABSTRACT	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.	SVM HeaderParse 0.2
YEAR	2011	SVM HeaderParse 0.2
CITATIONS	27 found	ParsCit 1.0