nLab
Thorsten Altenkirch

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)