Concepedia
4
Publications
64
Citations
H-Index
2015
Active since
Affiliations
University of Nottingham(Current)
Paolo Capriotti is an author at University of Nottingham specializing in automated reasoning.
Top concepts
Automated Reasoning
Publications per year
2015–2023
Two-level type theory and applications
Danil Annenkov, Paolo Capriotti, Nicolai Kraus · Mathematical Structures in Computer Science · 2023 · 23 citations · Full text
Extending Homotopy Type Theory with Strict Equality
Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus · Nottingham ePrints (University of Nottingham) · 2016 · 17 citations · Full text
Models of Type Theory with Strict Equality
Paolo Capriotti · arXiv (Cornell University) · 2017 · 14 citations · Full text
Automated Reasoning, Type Theory, Higher Category Theory +7
Non-Wellfounded Trees in Homotopy Type Theory
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 10 citations · Full text
Rows per page
1–4 of 4