relational model of linear logic

by Thomas Ehrhard

@MISC{Ehrhard_relationalmodel,
    author = {Thomas Ehrhard},
    title = {relational model of linear logic},
    year = {}
}

An application of the extensional collapse of the

3	Execution Time of λ-Terms via Denotational Semantics and Intersection Types. Research Report RR6638 - Carvalho - 2008
2	De Falco. A semantic measure of the execution time in linear logic - Carvalho, Pagani, et al.
2	The Scott model of Linear Logic is the extensional collapse of its relational model. Theoretical Computer Science, 2011. To appear. A draft version is available on http://www.pps.jussieu.fr/ ∼ehrhard. [ER03] [ER04] [ER05] [Fio07] Thomas Ehrhard and Lauren - Ehrhard