nLab
Thorsten Altenkirch

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

Talks

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

category: people

Revised on July 22, 2015 05:39:57 by Urs Schreiber (94.118.154.76)