Browse by Authors and Editors
Jump to: 2015 Number of items: 1. 2015Sattler, 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. |
