Pages that link to "Thorsten Altenkirch"
Appearance
Showing 17 items.
- Dependent type (links | edit)
- Mansfield District Council elections (links | edit)
- Rod Burstall (links | edit)
- Thierry Coquand (links | edit)
- ALF (proof assistant) (links | edit)
- Conor McBride (links | edit)
- Homotopy type theory (links | edit)
- Univalent foundations (links | edit)
- Thorsten Altenkirch (transclusion) (links | edit)
- 2021 Nottinghamshire County Council election (links | edit)
- Talk:Thorsten Altenkirch (transclusion) (links | edit)
- User:Michael Shulman/draft Homotopy Type Theory and Univalent Foundations (links | edit)
- User:Stinglehammer/FemaleScientists (links | edit)
- User:Stinglehammer/University of Edinburgh Alumni (links | edit)
- User talk:Boreas93 (links | edit)
- Wikipedia:Articles for deletion/Andrej Bauer (2nd nomination) (links | edit)
- Wikipedia:Articles for deletion/Log/2016 September 9 (links | edit)