Ong, C.-H. Luke

eb.comlab.ox.ac.uk

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

Rate This Site

More in People Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285131" title="Ong, C.-H. Luke"><img src="https://e-sygoing.link/badge.php?lid=5285131" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Ong, C.-H. Luke

Rate This Site

Submit Your Site

Related Links