![]() | Up a level |
Blanco, Nicolas (2023). Bifibrations of polycategories and classical multiplicative linear logic. University of Birmingham. Ph.D.
Geron, Bram ORCID: 0000-0001-9237-3282
(2020).
Defined algebraic operations.
University of Birmingham.
Ph.D.
Perera, Roland (2013). Interactive functional programming. University of Birmingham. Ph.D.