Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: 2018 | 2017 | 2016
Number of items: 4.

2018

Capriotti, Paolo and Kraus, Nicolai (2018) Univalent higher categories via complete semi-segal types. Proceedings of the ACM on Programming Languages, 2 (POPL). 44:1-44:29. ISSN 2475-1421

2017

Capriotti, Paolo (2017) Models of type theory with strict equality. PhD thesis, University of Nottingham.

Altenkirch, Thorsten, Capriotti, Paolo, Dijkstra, Gabe and Nordvall Forsberg, Fredrik Nordvall Forsberg (2017) Quotient inductive-inductive types. In: FoSSaCS 2018: 21st International Conference on Foundations of Software Science and Computation Structures, 14-20 April 2018, Thessaloniki, Greece.

2016

Altenkirch, Thorsten, Capriotti, Paolo and Nicolai, Kraus (2016) Extending homotopy type theory with strict equality. In: 25th EACSL Annual Conference on Computer Science Logic, 28 Aug - 3 Sep 2016, Marseille, France.

This list was generated on Thu Dec 26 20:11:07 2024 UTC.