Thorsten Altenkirch is an associate professor for computer science at University of Nottingham.
type theory, homotopy type theory
verified software
categorical model of dependent types
Last revised on July 29, 2015 at 21:47:10. See the history of this page for a list of all contributions to it.