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

Cached

Download Links

by Thomas Ehrhard
Citations:3 - 2 self

Active Bibliography

2 On probabilistic coherence spaces – Vincent Danos, Thomas Ehrhard - 2008
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
944 A theory of type polymorphism in programming – Robin Milner - 1978
48 Finiteness spaces – Thomas Ehrhard - 1987
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
3 Probabilistic coherence spaces as a model of higher-order probabilistic computation – Vincent Danos, Thomas Ehrhard - 2011
1 On Differential Interaction Nets and the Pi-calculus – Thomas Ehrhard, Olivier Laurent - 2006
26 On K├Âthe sequence spaces and linear logic – Thomas Ehrhard - 2001
A NON-UNIFORM FINITARY RELATIONAL SEMANTICS – Lionel Vaux - 1999