We stand with Ukraine  

Paolo Capriotti

Orcid: 0000-0002-4836-1804

Affiliations:
  • University of Nottingham, UK


According to our database1, Paolo Capriotti authored at least 13 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Two-level type theory and applications - ERRATUM.
[BibTeX]
[DOI]
Danil Annenkov
,
Paolo Capriotti
,
Nicolai Kraus
,
Christian Sattler
Math. Struct. Comput. Sci., 2024

2023
Two-level type theory and applications.
[BibTeX]
[DOI]
Danil Annenkov
,
Paolo Capriotti
,
Nicolai Kraus
,
Christian Sattler
Math. Struct. Comput. Sci., 2023

2021
Higher Lenses.
[BibTeX]
[DOI]
Paolo Capriotti
,
Nils Anders Danielsson
,
Andrea Vezzosi
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2018
Univalent higher categories via complete Semi-Segal types.
[BibTeX]
[DOI]
Paolo Capriotti
,
Nicolai Kraus
Proc. ACM Program. Lang., 2018

Quotient Inductive-Inductive Types.
[BibTeX]
[DOI]
Thorsten Altenkirch
,
Paolo Capriotti
,
Gabe Dijkstra
,
Nicolai Kraus
,
Fredrik Nordvall Forsberg
Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017
Models of type theory with strict equality.
[BibTeX]
[DOI]
Paolo Capriotti
PhD thesis, 2017

Models of Type Theory with Strict Equality.
[BibTeX]
[DOI]
Paolo Capriotti
CoRR, 2017

Two-Level Type Theory and Applications.
[BibTeX]
[DOI]
Danil Annenkov
,
Paolo Capriotti
,
Nicolai Kraus
CoRR, 2017

2016
Quotient inductive-inductive types.
[BibTeX]
[DOI]
Thorsten Altenkirch
,
Paolo Capriotti
,
Gabe Dijkstra
,
Fredrik Nordvall Forsberg
CoRR, 2016

Extending Homotopy Type Theory with Strict Equality.
[BibTeX]
[DOI]
Thorsten Altenkirch
,
Paolo Capriotti
,
Nicolai Kraus
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015
Non-Wellfounded Trees in Homotopy Type Theory.
[BibTeX]
[DOI]
Benedikt Ahrens
,
Paolo Capriotti
,
Régis Spadotti
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

Functions out of Higher Truncations.
[BibTeX]
[DOI]
Paolo Capriotti
,
Nicolai Kraus
,
Andrea Vezzosi
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014
Free Applicative Functors.
[BibTeX]
[DOI]
Paolo Capriotti
,
Ambrus Kaposi
Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014


  Loading...