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
Journal ArticleDOI
On the unity of logic
TL;DR: Cette approche est radicalement differente de l'approche habituelle qui consiste tout bonnementachanger the regle du jeu quand on veut changer de logique, c'estadire de style de sequent.
Journal ArticleDOI
Locus Solum: From the rules of logic to the logic of rules
TL;DR: An-fang was near a city, the only living city with a pre-atomic name, and the headquarters of the People Programmer was at An-Fang, and there the mistake happened: A ruby trembled and a diamond noted the error.
Book ChapterDOI
Locus Solum: From the Rules of Logic to the Logic of Rules
TL;DR: LUDICS is a monist approach to logic-without this nonsense distinction syntax/semantics/meta - just plain logical artifacts, period.
Book
Advances in Linear Logic
TL;DR: Linear logic: its syntax and semantics J. Girard, a category arising in linear logic, complexity theory and set theory, and noncommutative proof nets V. Girards.
Journal ArticleDOI
Normal functors, power series and λ-calculus
TL;DR: On presente une nouvelle approche des fonctionnelles continues comportant les modeles de differents lambda calculs d'un groupe de universités britanniques.