Concepedia

Jean-Yves Girard

JG

Statistics

Publications

20

Citations

6.3K

H-Index

16

Active since

1981

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Paris Cité

Institut de Mathématiques de Marseille

Institut de Mathématiques de Jussieu-Paris Rive Gauche

University of Ottawa

Jean-Yves Girard is an author at Centre National de la Recherche Scientifique specializing in mathematics, logic, and computer science.

Publications per year

1981–2011

20

Publications

20

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

The system F of variable types, fifteen years later

Jean-Yves Girard · Theoretical Computer Science · 1986 · 356 citations

, , +6

Light Linear Logic

Jean-Yves Girard · Information and Computation · 1998 · 325 citations

A new constructive logic: classic logic

Jean-Yves Girard · Mathematical Structures in Computer Science · 1991 · 309 citations

, , +6

Locus Solum: From the rules of logic to the logic of rules

Jean-Yves Girard · Mathematical Structures in Computer Science · 2001 · 259 citations

, , +5

1–5 of 20