| Two-level type theory and applications D Annenkov, P Capriotti, N Kraus, C Sattler Mathematical Structures in Computer Science, 1-56, 2023 | 87 | 2023 |
| Quotient inductive-inductive types T Altenkirch, P Capriotti, G Dijkstra, N Kraus, F Nordvall Forsberg International Conference on Foundations of Software Science and Computation …, 2018 | 77 | 2018 |
| Extending Homotopy Type Theory with Strict Equality T Altenkirch, P Capriotti, N Kraus 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) 62, 21:1 …, 2016 | 61 | 2016 |
| Non-wellfounded trees in homotopy type theory B Ahrens, P Capriotti, R Spadotti 13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015 | 48 | 2015 |
| Models of Type Theory with Strict Equality P Capriotti arXiv preprint arXiv:1702.04912, 2017 | 40 | 2017 |
| Free applicative functors P Capriotti, A Kaposi Proceedings 5th Workshop on Mathematically Structured Functional Programming …, 2014 | 40 | 2014 |
| Univalent higher categories via complete semi-segal types P Capriotti, N Kraus Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017 | 29 | 2017 |
| Functions out of Higher Truncations P Capriotti, N Kraus, A Vezzosi 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) 41, 359-373, 2015 | 9 | 2015 |
| Infinite structures in type theory: Problems and approaches T Altenkirch, P Capriotti, N Kraus TYPES, Tallinn, Estonia, 2015 | 5 | 2015 |
| Higher lenses P Capriotti, NA Danielsson, A Vezzosi http://www.cse.chalmers.se/~nad/publications/capriotti-danielsson-vezzosi …, 2020 | 4 | 2020 |
| Type Theory with Weak J T Altenkirch, P Capriotti, T Coquand, NA Danielsson, S Huber, N Kraus 23rd International Conference on Types for Proofs and Programs, 2017 | 3 | 2017 |
| Higher Categories in Homotopy Type Theory T Altenkirch, P Capriotti, N Kraus TYPES, 172-179, 2016 | 3 | 2016 |
| Towards a Theory of Higher Inductive Types T Altenkirch, P Capriotti, G Dijkstra, FN Forsberg TYPES, Tallinn, Estonia, 2015 | 3 | 2015 |
| Mutual and Higher Inductive Types in Homotopy Type Theory P Capriotti Preprint, 2014 | 3 | 2014 |
| Higher categories of algebras for higher inductive definitions P Capriotti, C Sattler abstract for the conference TYPES’20, 2020 | 2 | 2020 |
| Lecture notes on topology P Capriotti | | 2019 |
| Specifying Quotient Inductive-Inductive Types T Altenkirch, P Capriotti, G Dijkstra, N Kraus, FN Forsberg TYPES 2018, 2018 | | 2018 |
| Formalisations Using Two-Level Type Theory D Annenkov, P Capriotti, N Kraus | | 2017 |
Nicolai KrausUniversity of Nottingham在 nottingham.ac.uk 的电子邮件经过验证
