Web Directory

    Top: Science: Math: Logic_and_Foundations: People:

 

Ong, C.-H. Luke

  Link Details for: Ong, C.-H. Luke
Link Title: Ong, C.-H. Luke Open in a new window
Link URL: http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html
Link Details: Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
Category: Top : Science : Math : Logic_and_Foundations : People
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Ong, C.-H. Luke