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 weakly constant functions and propositional truncation in homotopy type theory:

On quotient inductive types:

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

On quotient types and higher inductive types:

On the prehistory of homotopy type theory and the univalence axiom in the hands of Martin Hofmann:

category: people

Last revised on May 17, 2023 at 05:16:35. See the history of this page for a list of all contributions to it.