Plotkin, Gordon
inf.ed.ac.ukInstitute for Communicating and Collaborative Systems, UK - denotational and operational semantics of programming languages, type theory; domain-theoretic and categorical analyses of computation, proof theory, the semantics of natural language, process calculi, computational biology.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.