Scholar

Paolo Capriotti

Google Scholar ID: z1ZbjokAAAAJ

Postdoc, Technische Universität Darmstadt

Homotopy Type Theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

500

H-index

8

i10-index

8

Publications

20

Co-authors

8

list available

Contact

No contact links provided.

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Co-authors

8 total

Thorsten Altenkirch

Professor of Computer Science, University of Nottingham

Aarhus University

Fredrik Nordvall Forsberg

University of Strathclyde

Benedikt Ahrens

Delft University of Technology

Eötvös Loránd University, Budapest