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
Jump to: Thesis (University of Nottingham only)
Number of items: 1.

Thesis (University of Nottingham only)

Sattler, Christian (2015) On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes. PhD thesis, University of Nottingham.

This list was generated on Thu Nov 21 10:51:03 2024 UTC.