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

Introducing the quantum programming language QML:

Introducing the quantum IO monad:

Introducing relative monads in computer science:

On quotient inductive types:

category: people

Last revised on November 8, 2022 at 09:59:48. See the history of this page for a list of all contributions to it.