nLab
Thomas Streicher
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
website
category:
people
Created on November 18, 2011 02:45:08 by
Urs Schreiber
(217.232.18.193)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
Contributors
,
universe in a topos
,
type theory
,
WISC
,
identity type
,
homotopy type theory
,
realizer
,
categorical model of dependent types
,
axiom K