Vickers, Steven
cs.bham.ac.ukUniversity of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.