Search Results - Altenkirch, Thorsten
Thorsten Altenkirch
Thorsten Altenkirch ( , ) is a German Professor of Computer Science at the University of Nottingham known for his research on logic, type theory, and homotopy type theory. Altenkirch was part of the 2012/2013 special year on univalent foundations at the Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton. Provided by Wikipedia- Showing 1 - 16 results of 16
-
1
-
2
-
3
-
4
-
5
-
6
-
7
Some constructions on ω-groupoids by Altenkirch, Thorsten, Li, Nuo, Ondřej, Rypáček
Published 2014Get full text
-
8
Relative monads formalised by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo
Published 2014Get full text
-
9
-
10
Monads need not be endofunctors by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo
Published 2015Get full text
-
11
-
12
-
13
-
14
Pure functional epidemics by Thaler, Jonathan, Altenkirch, Thorsten, Siebers, Peer-Olaf
Published 2018Get full text
-
15
-
16