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 - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
Education