On probabilistic coherence spaces (2008)

by Vincent Danos , Thomas Ehrhard
Citations:3 - 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
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
A NON-UNIFORM FINITARY RELATIONAL SEMANTICS – Lionel Vaux - 1999
31 On Köthe sequence spaces and linear logic – Thomas Ehrhard - 2001
16 Between logic and quantic: a tract – Jean-Yves Girard - 2003
53 Finiteness spaces – Thomas Ehrhard - 1987
Appl Categor Struct DOI 10.1007/s10485-010-9241-0 Deep Inference and Probabilistic Coherence Spaces – Richard Blute, Prakash Panangaden, Sergey Slavnov, R. Blute (b, P. Panangaden, S. Slavnov - 2009
7 Category theory for linear logicians – Richard Blute, Philip Scott - 2004
31 Probabilistic Game Semantics – Vincent Danos, Russell Harmer - 2000
The Computational Meaning of Probabilistic Coherence Spaces – Thomas Ehrhard, Michele Pagani, Christine Tasson
unknown title – Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2 Applications of Game Semantics: From Program Analysis to Hardware Synthesis – Dan R. Ghica
47 Algorithmic Game Semantics – Samson Abramsky - 2001
13 Sequential algorithms and strongly stable functions – Paul-André Melliès - 2003
44 The Differential Lambda-Calculus – Thomas Ehrhard, Laurent Regnier - 2001