Scholar
Paolo Capriotti
Google Scholar ID: z1ZbjokAAAAJ
Postdoc, Technische Universität Darmstadt
Homotopy Type Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
500
H-index
8
i10-index
8
Publications
20
Co-authors
8
list available
Co-authors
5 total
Thorsten Altenkirch
Professor of Computer Science, University of Nottingham
Danil Annenkov
Aarhus University
Fredrik Nordvall Forsberg
University of Strathclyde
Benedikt Ahrens
Delft University of Technology
Ambrus Kaposi
Eötvös Loránd University, Budapest
