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 Thu Sep 21 14:16:38 2017 UTC.