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
,
univalence axiom
,
realizer
,
categorical model of dependent types
,
Kleene's second algebra
,
axiom K
,
realizability
,
function realizability
,
computable physics