Math: Logic and Foundations: People: Plotkin, Gordon

Home: Math: Logic and Foundations: People:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: People: Plotkin, Gordon

URL: http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html

Description: Institute 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.

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people