|
|
probabilistic
– Vincent Danos, Thomas Ehrhard
- 2011
|
|
2
|
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
|
|
|
Theoretical Informatics and Applications Informatique Théorique et Applications Will be set by the publisher A NON-UNIFORM FINITARY RELATIONAL SEMANTICS
– Lionel Vaux
|
|
|
Exponentials with in nite multiplicities
– Alberto Carraro, Thomas Ehrhard, Antonino Salibra
|
|
30
|
The Differential Lambda-Calculus
– Thomas Ehrhard, Laurent Regnier
- 2001
|
|
23
|
On Köthe sequence spaces and linear logic
– Thomas Ehrhard
- 2001
|
|
|
unknown title
– Antonio Bucciarelli A, Thomas Ehrhard B, Giulio Manzonetto C
|
|
|
The Computational Meaning of Probabilistic Coherence Spaces
– Thomas Ehrhard, Michele Pagani, Christine Tasson
|
|
4
|
Geometry of Interaction IV: the Feedback Equation
– Jean-yves Girard
- 2005
|
|
|
Presentation
– Thomas Ehrhard, Laurent Regnier
- 2003
|
|
14
|
Between logic and quantic: a tract
– Jean-Yves Girard
- 2003
|
|
20
|
Nondeterminism and Probabilistic Choice: Obeying the Laws
– Michael Mislove
- 2000
|
|
19
|
An Extension Result for Continuous Valuations
– M. Alvarez-Manilla, A. Edalat, N. Saheb-djahromi
- 1998
|
|
|
Differential Linear Logic and Polarization
– Lionel Vaux
|
|
2
|
Convolution ¯ λµ-calculus
– Lionel Vaux
- 2007
|
|
|
Kähler Categories
– Richard Blute, J. R. B. Cockett, Timothy Porter, R. A. G. Seely
- 2010
|
|
2
|
CARTESIAN DIFFERENTIAL CATEGORIES
– R. F. Blute, J. R. B. Cockett, R. A. G. Seely
|
|
2
|
The Algebraic Lambda-Calculus
– Lionel Vaux
- 2009
|
