nLab Thorsten Altenkirch

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


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

Selected writings

On inductive types and W-types:

Introducing the quantum programming language QML:

Introducing the quantum IO monad:

Introducing relative monads in computer science:

On quotient inductive types:

On free groups and \infty -groups in homotopy type theory:

category: people

Last revised on January 26, 2023 at 15:41:15. See the history of this page for a list of all contributions to it.