Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Conference or Workshop Item | Thesis (University of Nottingham only)
Number of items: 2.

Conference or Workshop Item

Altenkirch, Thorsten, 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 Sun Apr 20 07:57:14 2025 UTC.