| 2009 |
|---|
| 31 | EE | Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto:
A Relational Model of a Parallel and Non-deterministic lambda-Calculus.
LFCS 2009: 107-121 |
| 2008 |
|---|
| 30 | EE | Thomas Ehrhard:
Differential Linear Logic and Processes.
IFIP TCS 2008: 283 |
| 29 | EE | Thomas Ehrhard,
Laurent Regnier:
Uniformity and the Taylor expansion of ordinary lambda-terms.
Theor. Comput. Sci. 403(2-3): 347-372 (2008) |
| 2007 |
|---|
| 28 | EE | Thomas Ehrhard,
Olivier Laurent:
Interpreting a Finitary Pi-calculus in Differential Interaction Nets.
CONCUR 2007: 333-348 |
| 27 | EE | Antonio Bucciarelli,
Thomas Ehrhard,
Giulio Manzonetto:
Not Enough Points Is Enough.
CSL 2007: 298-312 |
| 2006 |
|---|
| 26 | EE | Thomas Ehrhard,
Laurent Regnier:
Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.
CiE 2006: 186-197 |
| 25 | EE | Thomas Ehrhard,
Laurent Regnier:
Differential interaction nets.
Theor. Comput. Sci. 364(2): 166-195 (2006) |
| 2005 |
|---|
| 24 | EE | Thomas Ehrhard,
Laurent Regnier:
Differential Interaction Nets.
Electr. Notes Theor. Comput. Sci. 123: 35-74 (2005) |
| 23 | EE | Thomas Ehrhard:
Finiteness spaces.
Mathematical Structures in Computer Science 15(4): 615-646 (2005) |
| 2003 |
|---|
| 22 | EE | Thomas Ehrhard,
Laurent Regnier:
The differential lambda-calculus.
Theor. Comput. Sci. 309(1-3): 1-41 (2003) |
| 2002 |
|---|
| 21 | | Thomas Ehrhard:
On Köthe Sequence Spaces and Linear Logic.
Mathematical Structures in Computer Science 12(5): 579-623 (2002) |
| 2001 |
|---|
| 20 | | Antonio Bucciarelli,
Thomas Ehrhard:
On phase semantics and denotational semantics: the exponentials.
Ann. Pure Appl. Logic 109(3): 205-241 (2001) |
| 2000 |
|---|
| 19 | | Antonio Bucciarelli,
Thomas Ehrhard:
On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic.
Ann. Pure Appl. Logic 102(3): 247-282 (2000) |
| 18 | EE | Thomas Ehrhard:
A relative PCF-definability result for strongly stable functions and some corollaries.
Electr. Notes Theor. Comput. Sci. 35: (2000) |
| 17 | EE | Thomas Ehrhard:
Parallel and serial hypercoherences.
Theor. Comput. Sci. 247(1-2): 39-81 (2000) |
| 1999 |
|---|
| 16 | EE | Nuno Barreiro,
Thomas Ehrhard:
Quantitative Semantics Revisited.
TLCA 1999: 40-53 |
| 15 | | Thomas Ehrhard:
A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries.
Inf. Comput. 152(1): 111-137 (1999) |
| 1998 |
|---|
| 14 | | Thomas Ehrhard,
Yves Lafont,
Laurent Regnier:
Foreword.
Mathematical Structures in Computer Science 8(6): 541 (1998) |
| 1997 |
|---|
| 13 | | Patrick Baillot,
Vincent Danos,
Thomas Ehrhard,
Laurent Regnier:
Timeless Games.
CSL 1997: 56-77 |
| 12 | EE | Patrick Baillot,
Vincent Danos,
Thomas Ehrhard,
Laurent Regnier:
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.
LICS 1997: 68-75 |
| 1996 |
|---|
| 11 | | Thomas Ehrhard:
Projecting Sequential Algorithms on Strongly Stable Functions.
Ann. Pure Appl. Logic 77(3): 201-244 (1996) |
| 1994 |
|---|
| 10 | | Loïc Colson,
Thomas Ehrhard:
On Strong Stability and Higher-Order Sequentiality
LICS 1994: 103-108 |
| 9 | | Antonio Bucciarelli,
Thomas Ehrhard:
Sequentiality in an Extensional Framework
Inf. Comput. 110(2): 265-296 (1994) |
| 1993 |
|---|
| 8 | | Thomas Ehrhard:
Hypercoherences: A Strongly Stable Model of Linear Logic.
Mathematical Structures in Computer Science 3(4): 365-385 (1993) |
| 7 | | Antonio Bucciarelli,
Thomas Ehrhard:
A Theory of Sequentiality.
Theor. Comput. Sci. 113(2): 273-291 (1993) |
| 1991 |
|---|
| 6 | | Thomas Ehrhard,
Pasquale Malacaria:
Stone Duality for Stable Functions.
Category Theory and Computer Science 1991: 1-15 |
| 5 | | Antonio Bucciarelli,
Thomas Ehrhard:
Extensional Embedding of a Strongly Stable Model of PCF.
ICALP 1991: 35-46 |
| 4 | | Antonio Bucciarelli,
Thomas Ehrhard:
Sequentiality and Strong Stability
LICS 1991: 138-145 |
| 1989 |
|---|
| 3 | | Thomas Ehrhard:
Dictoses.
Category Theory and Computer Science 1989: 213-223 |
| 1988 |
|---|
| 2 | | Thomas Ehrhard:
A Categorical Semantics of Constructions
LICS 1988: 264-273 |
| 1987 |
|---|
| 1 | | Thierry Coquand,
Thomas Ehrhard:
An Equational Presentation of Higher Order Logic.
Category Theory and Computer Science 1987: 40-56 |
