AtomSeek the directory or science  

Math: Logic and Foundations: People: Ong, C.-H. Luke


  Home: Math: Logic and Foundations: People:
Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: People: Ong, C.-H. Luke


URL: http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html

 

Description: Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.


Detailed Traffic Statistic From Alexa
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


© atomseek.com
Webmaster - miroweb.com