Browse by Supervisor
 | Up a level |
Number of items: 5.
Feng, Yuning (2024). Back to Beck: the state monad and the continuation monad from the viewpoint of monadicity. University of Birmingham. Ph.D.
Blanco, Nicolas (2023). Bifibrations of polycategories and classical multiplicative linear logic. University of Birmingham. Ph.D.
Mitosek, Piotr B. (2025). Computational complexity perspective on graphical calculi for quantum computation. University of Birmingham. Ph.D.
Geron, Bram 
ORCID: 0000-0001-9237-3282
(2020).
Defined algebraic operations.
University of Birmingham.
Ph.D.
Perera, Roly (2013). Interactive functional programming. University of Birmingham. Ph.D.