Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Nicolai Kraus
University of Nottingham
Verified email at nottingham.ac.uk
Cited by 872
Homotopy Type Theory
Univalent Foundations
Type Theory
Category Theory
Higher-Dimensional Category Theory
Takeo Fukushi
Verified email at haskeller.com
Cited by 5
higher dimensional category theory
K-theory
motives
infinity topos
Privacy
Terms
Help
About Scholar
Search help