Web Directory

    Top: Computers: Computer_Science: People: O:

 

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/work/luke.ong/
Link Details: Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.
Category: Top : Computers : Computer_Science : People : O
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