nLab
Thorsten Altenkirch

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

Talks

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

Selected writings

On the quantum programming language QPL:

category: people

Last revised on February 16, 2021 at 00:41:17. See the history of this page for a list of all contributions to it.