Browse by Supervisor

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

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.

This list was generated on Sat Aug 17 07:50:27 2024 BST.