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: 2.

Conference or Workshop Item

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.

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 Mon Nov 20 05:52:50 2017 UTC.