nLab
Thorsten Altenkirch

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

• webpage

Talks

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

Selected writings

On the quantum programming language QPL:

• Thorsten Altenkirch, Jonathan Grattage, A functional quantum programming language, Logic in Computer Science, 2005. Proceedings. 20th Annual IEEE Symposium on, 26-29 June 2005 Page(s):249 - 258 (arXiv:quant-ph/0409065, doi:10.1109/LICS.2005.1, pdf)

Related entries

• type theory, homotopy type theory

• verified software

• categorical model of dependent types

category: people