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

Cached

Download Links

by Thomas Ehrhard
Citations:3 - 1 self

Active Bibliography

3 On probabilistic coherence spaces – Vincent Danos, Thomas Ehrhard - 2008
1 On Differential Interaction Nets and the Pi-calculus – Thomas Ehrhard, Olivier Laurent - 2006
probabilistic – Vincent Danos, Thomas Ehrhard - 2011
A NON-UNIFORM FINITARY RELATIONAL SEMANTICS – Lionel Vaux - 1999
53 Finiteness spaces – Thomas Ehrhard - 1987
31 On Köthe sequence spaces and linear logic – Thomas Ehrhard - 2001
5 What is a Categorical Model of the Differential and the Resource λ-Calculi? – Giulio Manzonetto
unknown title – Antonio Bucciarelli A, Thomas Ehrhard B, Giulio Manzonetto C
7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
Exponentials with in nite multiplicities – Alberto Carraro, Thomas Ehrhard, Antonino Salibra
unknown title – Antonio Bucciarelli A, Thomas Ehrhard A, Giulio Manzonetto B
Models and theories of λ-calculus – Giulio Manzonetto, Università Ca, Foscari Venezia - 904
3 A general class of models of H – Giulio Manzonetto
1 A Completeness Theorem for Symmetric Product Phase Spaces – Thomas Ehrhard - 2000
Non uniform (hyper/multi)coherence spaces – Pierre Boudes - 2008
44 The Differential Lambda-Calculus – Thomas Ehrhard, Laurent Regnier - 2001
THÈSE Pour obtenir le grade de – Docteur De, L’université De Grenoble, Spécialité Matériaux, Génie Civil, Présentée Par, M. Bellet Daniel (président - 2011
1 On finiteness spaces and extensional presheaves over the lawvere theory of polynomials – Thomas Ehrhard, Université Paris, Diderot Paris
The Computational Meaning of Probabilistic Coherence Spaces – Thomas Ehrhard, Michele Pagani, Christine Tasson