Scholar
Thorsten Altenkirch
Google Scholar ID: EHksJkUAAAAJ
Professor of Computer Science, University of Nottingham
Type Theory
Category Theory
Functional Programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,843
H-index
20
i10-index
42
Publications
20
Co-authors
40
list available
Publications
3 items
Substitution Without Copy and Paste
2025
Cited
0
The Groupoid-syntax of Type Theory is a Set
2025
Cited
0
Formalising inductive and coinductive containers
arXiv.org · 2024
Cited
0
Co-authors
10 total
Ambrus Kaposi
Eötvös Loránd University, Budapest
Nils Anders Danielsson
Researcher, Chalmers University of Technology and University of Gothenburg
Tarmo Uustalu
Professor, Reykjavik University / Lead research scientist, Tallinn University of Technology
Paolo Capriotti
Postdoc, Technische Universität Darmstadt
Wouter Swierstra
Universiteit Utrecht
Andreas Abel
Senior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of Gothenburg
Fredrik Nordvall Forsberg
University of Strathclyde
Amr Sabry
Professor of Computer Science, Indiana University
