|
39
|
Finiteness spaces
– Thomas Ehrhard
- 1987
|
|
2
|
The Scott model of Linear Logic is the extensional collapse of its relational model
– Thomas Ehrhard
- 2011
|
|
5
|
Category theory for linear logicians
– Richard Blute, Philip Scott
- 2004
|
|
30
|
The Differential Lambda-Calculus
– Thomas Ehrhard, Laurent Regnier
- 2001
|
|
|
A convenient differential
– Richard Blute, Thomas Ehrhard, Christine Tasson
- 2011
|
|
1
|
On probabilistic coherence spaces
– Vincent Danos, Thomas Ehrhard
- 2008
|
|
1
|
On Differential Interaction Nets and the Pi-calculus
– Thomas Ehrhard, Olivier Laurent
- 2006
|
|
1
|
A Completeness Theorem for Symmetric Product Phase Spaces
– Thomas Ehrhard
- 2000
|
|
1
|
Dialectica and Chu Constructions: Cousins?
– Valeria De Paiva
- 2006
|
|
6
|
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract)
– Marcelo P. Fiore
|
|
|
Kähler Categories
– Richard Blute, J. R. B. Cockett, Timothy Porter, R. A. G. Seely
- 2010
|
|
22
|
Nuclear and Trace Ideals in Tensored *-Categories
– Samson Abramsky, Richard Blute, Prakash Panangaden
- 1998
|
|
8
|
A Classical Linear λ-calculus
– G.M. Bierman
- 1997
|
|
|
Musings Around the Geometry of Interaction, and Coherence 1
– Jean Goubault-larrecq
- 2007
|
|
14
|
Between logic and quantic: a tract
– Jean-Yves Girard
- 2003
|
|
39
|
Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
- 2000
|
|
4
|
Quantitative semantics revisited (Extended Abstract)
– Nuno Barreiro, Thomas Ehrhard
|
|
|
Contents
– Andrew Stacey
- 2008
|
|
|
probabilistic
– Vincent Danos, Thomas Ehrhard
- 2011
|
