nLab
Thorsten Altenkirch

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Talks

Towards higher dimensional type theory, Nottingham (2011) (pdf)

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: infinity-groupoid, homotopy type theory, inductive type, functional programming, monad (in computer science), observational type theory, quantum computation