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 Sat Dec 21 13:08:52 2024 UTC.