Paolo Capriotti

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 10

Top Venues

CoRR

Math. Struct. Comput. Sci.

CSL

Proc. ACM Program. Lang.

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
Two-level type theory and applications - ERRATUM. Math. Struct. Comput. Sci. 34 (1) (2024)
Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
Two-level type theory and applications. Math. Struct. Comput. Sci. 33 (8) (2023)
Paolo Capriotti, Nils Anders Danielsson, Andrea Vezzosi
Higher Lenses. LICS (2021)
Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg
Quotient Inductive-Inductive Types. FoSSaCS (2018)
Paolo Capriotti, Nicolai Kraus
Univalent higher categories via complete Semi-Segal types. Proc. ACM Program. Lang. 2 (POPL) (2018)
Danil Annenkov, Paolo Capriotti, Nicolai Kraus
Two-Level Type Theory and Applications. CoRR (2017)
Paolo Capriotti
Models of Type Theory with Strict Equality. CoRR (2017)
Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus
Extending Homotopy Type Theory with Strict Equality. CSL (2016)
Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus
Extending Homotopy Type Theory with Strict Equality. CoRR (2016)
Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Fredrik Nordvall Forsberg
Quotient inductive-inductive types. CoRR (2016)
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti
Non-wellfounded trees in Homotopy Type Theory. CoRR (2015)
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti
Non-Wellfounded Trees in Homotopy Type Theory. TLCA (2015)
Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi
Functions out of Higher Truncations. CoRR (2015)
Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi
Functions out of Higher Truncations. CSL (2015)
Paolo Capriotti, Ambrus Kaposi
Free Applicative Functors. MSFP (2014)

Paolo Capriotti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo Capriotti