[an error occurred while processing this directive] An error occured whilst processing this directive

Gordon Plotkin

Position:Professor
Role:Member
E-mail:gdp@inf (add .ed.ac.uk for real email)
Office(s):IF-4.32
Phone(s):(+44 131 6)505158
Research Interests:Applications of logic, especially: the denotational and operational semantics of programming languages; type-theory; domain-theoretic and categorical analyses of computation; general proof theory; the semantics of natural language; process calculi and computational biology.
Homepage:http://homepages.inf.ed.ac.uk/gdp

This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.

An error occured whilst processing this directive