AtomSeek the directory or science  

Math: Logic and Foundations: People: Page 5


the entire directory   only this category Advanced Search
 
Home: Math: Logic and Foundations: People: Page 5
CATEGORIES:
LINKS:
  Pages: [<<] 1 2 3 4 5 6 [>>]
  • Plotkin, Gordon
    http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html
    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.

  Pages: [<<] 1 2 3 4 5 6 [>>]
 
  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


atomseek.com
Webmaster - miroweb.com