nLab Thorsten Altenkirch

Thorsten Altenkirch is a professor of computer science at the University of Nottingham.

Selected writings

On inductive types and W-types:

Introducing observational type theory:

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

On naive/informal dependent type theory:

category: people

Last revised on January 3, 2024 at 04:53:20. See the history of this page for a list of all contributions to it.