Ong, C.-H. Luke

eb.comlab.ox.ac.uk

Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.

Rate This Site

More in O Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5756800" title="Ong, C.-H. Luke"><img src="https://e-sygoing.link/badge.php?lid=5756800" 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