nLab
Michael Warren
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

website
related entries
homotopy type theory
category:
people
Created on November 17, 2011 17:57:00 by
Urs Schreiber
(131.220.133.61)
Edit
 Views:
Print

TeX

Source
 Linked from:
internal logic of an (infinity,1)topos
,
identity type
,
power series
,
categorical semantics
,
homotopy type theory
,
padic number
,
directed homotopy type theory
,
substitution
,
relation between type theory and category theory
,
categorical model of dependent types