Vickers, Steven



All Links

Share this:

Details of Vickers, Steven

About Vickers, Steven
Vickers, Steven- University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.