Browse by Supervisors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | No Grouping
Jump to: B | S
Number of items: 2.


Balestrieri, Florent (2015) The productivity of polymorphic stream equations and the composition of circular traversals. PhD thesis, University of Nottingham.


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 Wed Nov 29 17:42:46 2023 UTC.