The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas Ehrhard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
    Timeless Games. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:56-77 [Conf]
  3. 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]
  4. Thomas Ehrhard
    Dictoses. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:213-223 [Conf]
  5. Thomas Ehrhard, Pasquale Malacaria
    Stone Duality for Stable Functions. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:1-15 [Conf]
  6. Antonio Bucciarelli, Thomas Ehrhard
    Extensional Embedding of a Strongly Stable Model of PCF. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:35-46 [Conf]
  7. 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]
  8. Antonio Bucciarelli, Thomas Ehrhard
    Sequentiality and Strong Stability [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:138-145 [Conf]
  9. Loïc Colson, Thomas Ehrhard
    On Strong Stability and Higher-Order Sequentiality [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:103-108 [Conf]
  10. Thomas Ehrhard
    A Categorical Semantics of Constructions [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:264-273 [Conf]
  11. Nuno Barreiro, Thomas Ehrhard
    Quantitative Semantics Revisited. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:40-53 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Thomas Ehrhard
    Finiteness spaces. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:615-646 [Journal]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Thomas Ehrhard
    Parallel and serial hypercoherences. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:247, n:1-2, pp:39-81 [Journal]
  25. 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]
  26. Thomas Ehrhard, Laurent Regnier
    Differential interaction nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:364, n:2, pp:166-195 [Journal]
  27. Thomas Ehrhard, Olivier Laurent
    Interpreting a Finitary Pi-calculus in Differential Interaction Nets. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:333-348 [Conf]
  28. Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
    Not Enough Points Is Enough. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:298-312 [Conf]

  29. Exponentials with Infinite Multiplicities. [Citation Graph (, )][DBLP]


  30. Differential Linear Logic and Processes. [Citation Graph (, )][DBLP]


  31. A Relational Model of a Parallel and Non-deterministic lambda-Calculus. [Citation Graph (, )][DBLP]


  32. A Finiteness Structure on Resource Terms. [Citation Graph (, )][DBLP]


  33. Resource Combinatory Algebras. [Citation Graph (, )][DBLP]


  34. A finiteness structure on resource terms [Citation Graph (, )][DBLP]


  35. On Linear Information Systems [Citation Graph (, )][DBLP]


  36. A convenient differential category [Citation Graph (, )][DBLP]


  37. Acyclic Solos and Differential Interaction Nets [Citation Graph (, )][DBLP]


Search in 0.506secs, Finished in 0.508secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002