nLab
Thorsten Altenkirch

Thorsten Altenkirch is an associate professor for computer science at University of Nottingham.

Talks

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

category: people

Revised on July 29, 2015 21:47:10 by David Roberts (117.120.16.132)