Ong, C.-H. Luke

Ong, C.-H. Luke
All Links

Share this:

Details of Ong, C.-H. Luke

About Ong, C.-H. Luke
Ong, C.-H. Luke- Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.
J