Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.

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

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

Altenkirch, Thorsten and Capriotti, Paolo and 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.

Altenkirch, Thorsten and 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 Mon Apr 19 12:07:00 2021 UTC.