nLab
Valeria de Paiva
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

webpage (old)
webpage (new)
category:
people
Revised on October 23, 2012 23:42:10 by
Urs Schreiber
(131.174.191.164)
Edit

Back in time
(1 revision)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
linear logic
,
math blogs
,
the logic S4(m)
,
linear type theory
,
modal type theory
,
dependent linear type theory
,
computational type theory