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
Proofs and types
TL;DR: In this paper, the Curry-Howard isomorphism and the normalisation theorem of a natural deduction system T coherence spaces have been studied in the context of linear logic and linear logic semantics.
Book ChapterDOI
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
Book ChapterDOI
Linear logic: its syntax and semantics
TL;DR: The first objection to that view is that there are in mathematics, in real life, cases where reaction does not exist or can be neglected : think of a lemma which is forever true, or of a Mr. Soros, who has almost an infinite amount of dollars.
Journal ArticleDOI
Proof Theory and Logical Complexity
TL;DR: In this paper, the fall of Hilbert's program is discussed, and the first Incompleteness Theorem is shown to be equivalent to the cut-free rules of the Calculus of Sequents.