- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j24 |      | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: A relational semantics for parallelism and non-determinism in a functional setting. Ann. Pure Appl. Logic 163(7): 918-934 (2012) |
| j23 | | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto: Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion. Logical Methods in Computer Science 8(4) (2012) |
| j22 | | Thomas Ehrhard: The Scott model of linear logic is the extensional collapse of its relational model. Theor. Comput. Sci. 424: 20-45 (2012) |
| c24 | | |
| c23 | | |
| 2011 | ||
| j21 | | Vincent Danos, Thomas Ehrhard: Probabilistic coherence spaces as a model of higher-order probabilistic computation. Inf. Comput. 209(6): 966-991 (2011) |
| c22 | | |
| c21 | | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto: Full Abstraction for Resource Calculus with Tests. CSL 2011: 97-111 |
| c20 | | Thomas Ehrhard, Michele Pagani, Christine Tasson: The Computational Meaning of Probabilistic Coherence Spaces. LICS 2011: 87-96 |
| 2010 | ||
| j20 | | Thomas Ehrhard, Olivier Laurent: Acyclic Solos and Differential Interaction Nets. Logical Methods in Computer Science 6(3) (2010) |
| j19 | | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: Categorical Models for Simply Typed Resource Calculi. Electr. Notes Theor. Comput. Sci. 265: 213-230 (2010) |
| j18 | | Thomas Ehrhard, Olivier Laurent: Interpreting a finitary pi-calculus in differential interaction nets. Inf. Comput. 208(6): 606-633 (2010) |
| c19 | | Alberto Carraro, Thomas Ehrhard, Antonino Salibra: Exponentials with Infinite Multiplicities. CSL 2010: 170-184 |
| c18 | | |
| c17 | | Alberto Carraro, Thomas Ehrhard, Antonino Salibra: Resource Combinatory Algebras. MFCS 2010: 233-245 |
| i2 | | |
| i1 | | Richard Blute, Thomas Ehrhard, Christine Tasson: A convenient differential category. CoRR abs/1006.3140 (2010) |
| 2009 | ||
| c16 | | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: A Relational Model of a Parallel and Non-deterministic lambda-Calculus. LFCS 2009: 107-121 |
| c15 | | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra: On Linear Information Systems. LINEARITY 2009: 38-48 |
| 2008 | ||
| j17 | | Thomas Ehrhard, Laurent Regnier: Uniformity and the Taylor expansion of ordinary lambda-terms. Theor. Comput. Sci. 403(2-3): 347-372 (2008) |
| c14 | | |
| 2007 | ||
| c13 | | Thomas Ehrhard, Olivier Laurent: Interpreting a Finitary Pi-calculus in Differential Interaction Nets. CONCUR 2007: 333-348 |
| c12 | | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: Not Enough Points Is Enough. CSL 2007: 298-312 |
| 2006 | ||
| j16 | | Thomas Ehrhard, Laurent Regnier: Differential interaction nets. Theor. Comput. Sci. 364(2): 166-195 (2006) |
| c11 | | Thomas Ehrhard, Laurent Regnier: Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. CiE 2006: 186-197 |
| 2005 | ||
| j15 | | Thomas Ehrhard, Laurent Regnier: Differential Interaction Nets. Electr. Notes Theor. Comput. Sci. 123: 35-74 (2005) |
| j14 | | Thomas Ehrhard: Finiteness spaces. Mathematical Structures in Computer Science 15(4): 615-646 (2005) |
| 2004 | ||
| j13 | | Thomas Ehrhard: A completeness theorem for symmetric product phase spaces. J. Symb. Log. 69(2): 340-370 (2004) |
| 2003 | ||
| j12 | | Thomas Ehrhard, Laurent Regnier: The differential lambda-calculus. Theor. Comput. Sci. 309(1-3): 1-41 (2003) |
| 2002 | ||
| j11 | | Thomas Ehrhard: On Köthe Sequence Spaces and Linear Logic. Mathematical Structures in Computer Science 12(5): 579-623 (2002) |
| 2001 | ||
| j10 | | Antonio Bucciarelli, Thomas Ehrhard: On phase semantics and denotational semantics: the exponentials. Ann. Pure Appl. Logic 109(3): 205-241 (2001) |
| 2000 | ||
| j9 | | Antonio Bucciarelli, Thomas Ehrhard: On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. Ann. Pure Appl. Logic 102(3): 247-282 (2000) |
| j8 | | Thomas Ehrhard: A relative PCF-definability result for strongly stable functions and some corollaries. Electr. Notes Theor. Comput. Sci. 35: 64-83 (2000) |
| j7 | | |
| 1999 | ||
| j6 | | Thomas Ehrhard: A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries. Inf. Comput. 152(1): 111-137 (1999) |
| c10 | | |
| 1998 | ||
| j5 | | Thomas Ehrhard, Yves Lafont, Laurent Regnier: Foreword. Mathematical Structures in Computer Science 8(6): 541 (1998) |
| 1997 | ||
| c9 | | |
| c8 | | 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 | ||
| j4 | | Thomas Ehrhard: Projecting Sequential Algorithms on Strongly Stable Functions. Ann. Pure Appl. Logic 77(3): 201-244 (1996) |
| 1994 | ||
| j3 | | Antonio Bucciarelli, Thomas Ehrhard: Sequentiality in an Extensional Framework. Inf. Comput. 110(2): 265-296 (1994) |
| c7 | | |
| 1993 | ||
| j2 | | Thomas Ehrhard: Hypercoherences: A Strongly Stable Model of Linear Logic. Mathematical Structures in Computer Science 3(4): 365-385 (1993) |
| j1 | | Antonio Bucciarelli, Thomas Ehrhard: A Theory of Sequentiality. Theor. Comput. Sci. 113(2): 273-291 (1993) |
| 1991 | ||
| c6 | | Thomas Ehrhard, Pasquale Malacaria: Stone Duality for Stable Functions. Category Theory and Computer Science 1991: 1-15 |
| c5 | | Antonio Bucciarelli, Thomas Ehrhard: Extensional Embedding of a Strongly Stable Model of PCF. ICALP 1991: 35-46 |
| c4 | | |
| 1989 | ||
| c3 |  | |
| 1988 | ||
| c2 | | |
| 1987 | ||
| c1 | | Thierry Coquand, Thomas Ehrhard: An Equational Presentation of Higher Order Logic. Category Theory and Computer Science 1987: 40-56 |
Data released under the ODC-BY 1.0 license — See also our legal information page