Jean-Yves Girard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1986–2013
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CSL | Three lightings of logic (Invited Talk). | Jean-Yves Girard |
| 2001 | CSL | Locus Solum: From the Rules of Logic to the Logic of Rules. | Jean-Yves Girard |
| 1994 | CONCUR | Geometry of Interaction (Abstract). | Jean-Yves Girard |
| 1988 | LICS | Semantic Parametricity in Polymorphic Lambda Calculus | Peter J. Freyd, Jean-Yves Girard, Andre Scedrov, Philip J. Scott |
| 1986 | LICS | Quantitative and Qualitative Semantics (Abstract of Invited Lecture) | Jean-Yves Girard |