nLab
JeanYves Girard
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

webpage
Writings
Lectures on Logic
Transcendental syntax 2.0
, 2012 (
pdf
)
Related entries
linear logic
Geometry of Interaction
category:
people
Revised on January 26, 2014 11:03:12 by
Urs Schreiber
(89.204.130.35)
Edit

Back in time
(3 revisions)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
Timeline of category theory and related mathematics
,
logic
,
linear logic
,
type theory
,
Paul Taylor
,
quantum logic
,
type of types
,
BuraliForti's paradox
,
BrouwerHeytingKolmogorov interpretation
,
linear type theory
,
Lectures on Logic
,
dependent linear type theory
,
Geometry of Interaction