On probabilistic coherence spaces (2008)

by Vincent Danos , Thomas Ehrhard
Citations:2 - 0 self

Active Bibliography

probabilistic – Vincent Danos, Thomas Ehrhard - 2011
3 The Scott model of Linear Logic is the extensional collapse of its relational model – Thomas Ehrhard - 2011
1 On Differential Interaction Nets and the Pi-calculus – Thomas Ehrhard, Olivier Laurent - 2006
A NON-UNIFORM FINITARY RELATIONAL SEMANTICS – Lionel Vaux - 1999
unknown title – Antonio Bucciarelli A, Thomas Ehrhard B, Giulio Manzonetto C
Exponentials with in nite multiplicities – Alberto Carraro, Thomas Ehrhard, Antonino Salibra
5 What is a Categorical Model of the Differential and the Resource λ-Calculi? – Giulio Manzonetto
30 On Köthe sequence spaces and linear logic – Thomas Ehrhard - 2001
15 Between logic and quantic: a tract – Jean-Yves Girard - 2003
51 Finiteness spaces – Thomas Ehrhard - 1987
7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
The Computational Meaning of Probabilistic Coherence Spaces – Thomas Ehrhard, Michele Pagani, Christine Tasson
30 Probabilistic Game Semantics – Vincent Danos, Russell Harmer - 2000
unknown title – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2 Applications of Game Semantics: From Program Analysis to Hardware Synthesis – Dan R. Ghica
48 Algorithmic Game Semantics – Samson Abramsky - 2001
12 Sequential algorithms and strongly stable functions – Paul-André Melliès - 2003
44 The Differential Lambda-Calculus – Thomas Ehrhard, Laurent Regnier - 2001
5 Geometry of Interaction IV: the Feedback Equation – Jean-yves Girard - 2005