nLab Thorsten Altenkirch

Thorsten Altenkirch is a professor of computer science at the 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:

A fragment of higher observational type theory

category: people

Last revised on October 24, 2023 at 23:43:58. See the history of this page for a list of all contributions to it.