Browse by Authors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

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 Fri Mar 29 14:47:22 2024 UTC.