J
Jean-Yves Girard
Researcher at Centre national de la recherche scientifique
Publications - 59
Citations - 11070
Jean-Yves Girard is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: Linear logic & Sequent calculus. The author has an hindex of 31, co-authored 59 publications receiving 10720 citations. Previous affiliations of Jean-Yves Girard include University of the Mediterranean & University of Paris.
Papers
More filters
Book
Linear logic and lazy computation
Jean-Yves Girard,Yves Lafont +1 more
TL;DR: Recently, J.Y. Girard discovered that usual logical connectors such as ⇒ (implication) could be broken up into more elementary linear connectors, providing a new linear logic where hypothesis are used once and only once.
Book ChapterDOI
Geometry of interaction III: accommodating the additives
TL;DR: The paper expounds geometry of interaction, for the first time in the full case, i.e. for all connectives of linear logic, including additives and constants, as well as a slight modification of familiar sequent calculus in the case of exponential-free conclusions.