nLab
Thorsten Altenkirch
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

webpage
Talks
Towards higher dimensional type theory
, Nottingham (2011) (
pdf
)
Related entries
type theory
,
homotopy type theory
category:
people
Revised on February 19, 2012 21:46:29 by
Anonymous Coward
(78.21.32.236)
Edit

Back in time
(1 revision)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
infinitygroupoid
,
homotopy type theory
,
inductive type
,
hset
,
relative adjoint functor
,
functional programming
,
monad (in computer science)
,
observational type theory
,
relative monad
,
split support
,
quantum computation
,
steady function