Browse by Supervisor

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.

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.