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
Jump to: Article | Conference or Workshop Item | Thesis (University of Nottingham only)
Number of items: 4.

Article

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

Conference or Workshop Item

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.

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.

Thesis (University of Nottingham only)

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

This list was generated on Thu Nov 21 11:59:22 2024 UTC.