Search the dblp DataBase
Thomas Ehrhard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Thomas Ehrhard, Laurent Regnier
Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. [Citation Graph (0, 0)][DBLP]
CiE, 2006, pp:186-197 [Conf] - Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
Timeless Games. [Citation Graph (0, 0)][DBLP]
CSL, 1997, pp:56-77 [Conf] - Thierry Coquand, Thomas Ehrhard
An Equational Presentation of Higher Order Logic. [Citation Graph (0, 0)][DBLP]
Category Theory and Computer Science, 1987, pp:40-56 [Conf] - Thomas Ehrhard
Dictoses. [Citation Graph (0, 0)][DBLP]
Category Theory and Computer Science, 1989, pp:213-223 [Conf] - Thomas Ehrhard, Pasquale Malacaria
Stone Duality for Stable Functions. [Citation Graph (0, 0)][DBLP]
Category Theory and Computer Science, 1991, pp:1-15 [Conf] - Antonio Bucciarelli, Thomas Ehrhard
Extensional Embedding of a Strongly Stable Model of PCF. [Citation Graph (0, 0)][DBLP]
ICALP, 1991, pp:35-46 [Conf] - Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. [Citation Graph (0, 0)][DBLP]
LICS, 1997, pp:68-75 [Conf] - Antonio Bucciarelli, Thomas Ehrhard
Sequentiality and Strong Stability [Citation Graph (0, 0)][DBLP]
LICS, 1991, pp:138-145 [Conf] - Loïc Colson, Thomas Ehrhard
On Strong Stability and Higher-Order Sequentiality [Citation Graph (0, 0)][DBLP]
LICS, 1994, pp:103-108 [Conf] - Thomas Ehrhard
A Categorical Semantics of Constructions [Citation Graph (0, 0)][DBLP]
LICS, 1988, pp:264-273 [Conf] - Nuno Barreiro, Thomas Ehrhard
Quantitative Semantics Revisited. [Citation Graph (0, 0)][DBLP]
TLCA, 1999, pp:40-53 [Conf] - Antonio Bucciarelli, Thomas Ehrhard
On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 2000, v:102, n:3, pp:247-282 [Journal] - Antonio Bucciarelli, Thomas Ehrhard
On phase semantics and denotational semantics: the exponentials. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 2001, v:109, n:3, pp:205-241 [Journal] - Thomas Ehrhard
Projecting Sequential Algorithms on Strongly Stable Functions. [Citation Graph (0, 0)][DBLP]
Ann. Pure Appl. Logic, 1996, v:77, n:3, pp:201-244 [Journal] - Thomas Ehrhard
A relative PCF-definability result for strongly stable functions and some corollaries. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal] - Thomas Ehrhard, Laurent Regnier
Differential Interaction Nets. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:123, n:, pp:35-74 [Journal] - Antonio Bucciarelli, Thomas Ehrhard
Sequentiality in an Extensional Framework [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1994, v:110, n:2, pp:265-296 [Journal] - Thomas Ehrhard
A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1999, v:152, n:1, pp:111-137 [Journal] - Thomas Ehrhard
Finiteness spaces. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:615-646 [Journal] - Thomas Ehrhard
On Köthe Sequence Spaces and Linear Logic. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 2002, v:12, n:5, pp:579-623 [Journal] - Thomas Ehrhard
Hypercoherences: A Strongly Stable Model of Linear Logic. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 1993, v:3, n:4, pp:365-385 [Journal] - Thomas Ehrhard, Yves Lafont, Laurent Regnier
Foreword. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 1998, v:8, n:6, pp:541- [Journal] - Antonio Bucciarelli, Thomas Ehrhard
A Theory of Sequentiality. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1993, v:113, n:2, pp:273-291 [Journal] - Thomas Ehrhard
Parallel and serial hypercoherences. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2000, v:247, n:1-2, pp:39-81 [Journal] - Thomas Ehrhard, Laurent Regnier
The differential lambda-calculus. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2003, v:309, n:1-3, pp:1-41 [Journal] - Thomas Ehrhard, Laurent Regnier
Differential interaction nets. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2006, v:364, n:2, pp:166-195 [Journal] - Thomas Ehrhard, Olivier Laurent
Interpreting a Finitary Pi-calculus in Differential Interaction Nets. [Citation Graph (0, 0)][DBLP]
CONCUR, 2007, pp:333-348 [Conf] - Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
Not Enough Points Is Enough. [Citation Graph (0, 0)][DBLP]
CSL, 2007, pp:298-312 [Conf]
Exponentials with Infinite Multiplicities. [Citation Graph (, )][DBLP]
Differential Linear Logic and Processes. [Citation Graph (, )][DBLP]
A Relational Model of a Parallel and Non-deterministic lambda-Calculus. [Citation Graph (, )][DBLP]
A Finiteness Structure on Resource Terms. [Citation Graph (, )][DBLP]
Resource Combinatory Algebras. [Citation Graph (, )][DBLP]
A finiteness structure on resource terms [Citation Graph (, )][DBLP]
On Linear Information Systems [Citation Graph (, )][DBLP]
A convenient differential category [Citation Graph (, )][DBLP]
Acyclic Solos and Differential Interaction Nets [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.304secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002