BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Girard:Jean=Yves

Facilitated 1 volumes:

TLCA 1999Ed

Contributed to:

CSL 20132013
CSL 20012001
LICS 19881988
LICS 19861986
TAPSOFT, Vol.2: CFLP 19871987

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.