The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Yves Girard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Yves Girard
    A New Constructive Logic: Classical Logic. [Citation Graph (1, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:255-296 [Journal]
  2. Jean-Yves Girard
    The System F of Variable Types, Fifteen Years Later. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:45, n:2, pp:159-192 [Journal]
  3. Jean-Yves Girard
    Linear Logic. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:50, n:, pp:1-102 [Journal]
  4. Jean-Yves Girard
    Linear Logic and Parallelism. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:166-182 [Conf]
  5. Jean-Yves Girard
    Geometry of interaction 2: deadlock-free algorithms. [Citation Graph (0, 0)][DBLP]
    Conference on Computer Logic, 1988, pp:76-93 [Conf]
  6. Jean-Yves Girard
    Geometry of Interaction (Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:1- [Conf]
  7. Jean-Yves Girard
    Locus Solum: From the Rules of Logic to the Logic of Rules. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:38- [Conf]
  8. Jean-Yves Girard
    Conférénce invitée: Négation et dualité en programmation logique. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:85-0 [Conf]
  9. Jean-Yves Girard
    Light Linear Logic. [Citation Graph (0, 0)][DBLP]
    LCC, 1994, pp:145-176 [Conf]
  10. Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott
    Semantic Parametricity in Polymorphic Lambda Calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:274-279 [Conf]
  11. Jean-Yves Girard
    Quantitative and Qualitative Semantics (Abstract of Invited Lecture) [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:258- [Conf]
  12. Jean-Yves Girard
    La mouche dans la bouteille. [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:9-12 [Conf]
  13. Jean-Yves Girard, Yves Lafont
    Linear Logic and Lazy Computation. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:52-66 [Conf]
  14. Jean-Yves Girard
    On the Unity of Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:59, n:3, pp:201-217 [Journal]
  15. Jean-Yves Girard
    From foundations to ludics. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2003, v:9, n:2, pp:131-168 [Journal]
  16. Jean-Yves Girard
    On denotational completeness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  17. Jean-Yves Girard
    Coherent Banach Spaces: a continuous denotational semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  18. Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  19. Jean-Yves Girard
    Light Linear Logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:143, n:2, pp:175-204 [Journal]
  20. V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele
    Some Uses of Dilators in Combinatorial Problems, II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:32-40 [Journal]
  21. Jean-Yves Girard, Dag Normann
    Embeddability of PTYKES. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:2, pp:659-676 [Journal]
  22. Jean-Yves Girard, Peter Päppinghaus
    A Result on Implications of sigma;1-Sentences and Its Application to Normal Form Theorems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:3, pp:634-642 [Journal]
  23. Jean-Yves Girard, Jacqueline Vauzeilles
    Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:3, pp:713-729 [Journal]
  24. Jean-Yves Girard, Jacqueline Vauzeilles
    Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:4, pp:1079-1114 [Journal]
  25. Jean-Yves Girard
    Logic and Exceptions: A Few Remarks. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:2, pp:111-118 [Journal]
  26. Jean-Yves Girard
    Locus Solum: From the rules of logic to the logic of rules. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:3, pp:301-506 [Journal]
  27. Jean-Yves Girard
    On Denotational Completeness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:227, n:1-2, pp:249-273 [Journal]
  28. Jean-Yves Girard
    Coherent Banach Spaces: A Continuous Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:227, n:1-2, pp:275-297 [Journal]
  29. Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:3, pp:333- [Journal]
  30. Jean-Yves Girard, Andre Scedrov, Philip J. Scott
    Bounded Linear Logic: A Modular Approach to Polynomial-Time Computability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:97, n:1, pp:1-66 [Journal]

Search in 0.002secs, Finished in 0.005secs
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