Paolo Capriotti

16 papers A* 1B 3Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Two-level type theory and applications - ERRATUM.
Math. Struct. Comput. Sci.
Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
2023 J jnl
Two-level type theory and applications.
Math. Struct. Comput. Sci.
Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
2021 A* conf
Higher Lenses.
LICS
Paolo Capriotti, Nils Anders Danielsson, Andrea Vezzosi
2018 B conf
Quotient Inductive-Inductive Types.
FoSSaCS
Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg
2018 J jnl
Univalent higher categories via complete Semi-Segal types.
Proc. ACM Program. Lang.
Paolo Capriotti, Nicolai Kraus
2017 J jnl
Models of Type Theory with Strict Equality.
CoRR
Paolo Capriotti
2017 — —
Models of type theory with strict equality.
Paolo Capriotti
2017 J jnl
Two-Level Type Theory and Applications.
CoRR
Danil Annenkov, Paolo Capriotti, Nicolai Kraus
2016 B conf
Extending Homotopy Type Theory with Strict Equality.
CSL
Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus
2016 J jnl
Extending Homotopy Type Theory with Strict Equality.
CoRR
Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus
2016 J jnl
Quotient inductive-inductive types.
CoRR
Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Fredrik Nordvall Forsberg
2015 B conf
Functions out of Higher Truncations.
CSL
Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi
2015 J jnl
Functions out of Higher Truncations.
CoRR
Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi
2015 — conf
Non-Wellfounded Trees in Homotopy Type Theory.
TLCA
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti
2015 J jnl
Non-wellfounded trees in Homotopy Type Theory.
CoRR
Benedikt Ahrens, Paolo Capriotti, Régis Spadotti
2014 — conf
Free Applicative Functors.
MSFP
Paolo Capriotti, Ambrus Kaposi