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 Li, Nuo and Ondřej, Rypáček (2014) Some constructions on ω-groupoids. In: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP '14), 17 Jul 2014, Vienna, Austria.

Thesis (University of Nottingham only)

Li, Nuo (2015) Quotient types in type theory. PhD thesis, University of Nottingham.

This list was generated on Fri Sep 24 00:25:58 2021 UTC.