|
1
|
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
|
|
|
Theoretical Informatics and Applications Informatique Théorique et Applications Will be set by the publisher A NON-UNIFORM FINITARY RELATIONAL SEMANTICS
– Lionel Vaux
|
|
39
|
Finiteness spaces
– Thomas Ehrhard
- 1987
|
|
23
|
On Köthe sequence spaces and linear logic
– Thomas Ehrhard
- 2001
|
|
|
unknown title
– Antonio Bucciarelli A, Thomas Ehrhard B, Giulio Manzonetto C
|
|
5
|
Category theory for linear logicians
– Richard Blute, Philip Scott
- 2004
|
|
|
Exponentials with in nite multiplicities
– Alberto Carraro, Thomas Ehrhard, Antonino Salibra
|
|
|
unknown title
– Pablo Arrighi A, Ro Díaz-caro A
- 903
|
|
1
|
A Completeness Theorem for Symmetric Product Phase Spaces
– Thomas Ehrhard
- 2000
|
|
30
|
The Differential Lambda-Calculus
– Thomas Ehrhard, Laurent Regnier
- 2001
|
|
|
Differential Linear Logic and Polarization
– Lionel Vaux
|
|
7
|
Restriction Categories I
– R. F. Blute, J. R. B. Cockett, R. A. G. Seely
- 2006
|
|
6
|
Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Extended Abstract)
– Marcelo P. Fiore
|
|
10
|
Not enough points is enough
– Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
- 2007
|
|
|
Lineal: A linear-algebraic λ-calculus
– Pablo Arrighi , Gilles Dowek
- 2010
|
|
14
|
Between logic and quantic: a tract
– Jean-Yves Girard
- 2003
|
|
|
Proving Properties of Typed λ-Terms Using Realizability, Covers, and Sheaves
– Jean Gallier
- 1995
|
