`Travelled to:`

1 × France

1 × Italy

1 × USA

1 × United Kingdom

`Collaborated with:`

∅ Y.Lafont P.J.Freyd A.Scedrov P.J.Scott

`Talks about:`

logic (4) semant (2) rule (2) polymorph (1) parametr (1) calculus (1) quantit (1) qualit (1) linear (1) comput (1)

## Person: Jean-Yves Girard

### DBLP: Girard:Jean=Yves

### Facilitated 1 volumes:

### Contributed to:

### Wrote 5 papers:

- CSL-2013-Girard #logic
- Three lightings of logic (JYG), pp. 11–23.
- CSL-2001-Girard #logic
- Locus Solum: From the Rules of Logic to the Logic of Rules (JYG), p. 38.
- LICS-1988-FreydGSS #parametricity #polymorphism #semantics #λ-calculus
- Semantic Parametricity in Polymorphic λ Calculus (PJF, JYG, AS, PJS), pp. 274–279.
- LICS-1986-Girard #semantics
- Quantitative and Qualitative Semantics (JYG), p. 258.
- CFLP-1987-GirardL #lazy evaluation #linear #logic
- Linear Logic and Lazy Computation (JYG, YL), pp. 52–66.