nLab
Thorsten Altenkirch

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

• webpage

Talks

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

Related entries

• type theory, homotopy type theory

• verified software

• categorical model of dependent types

category: people