nLab
Daniel Licata
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
website
category:
people
Created on May 7, 2011 10:07:20 by
Urs Schreiber
(82.113.99.22)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
2-type theory
,
univalence axiom