Luke Ong : Publications
|
[1] |
Safety is not a restriction at level 2 for string languages K. Aehlig, J. G. de Miranda and C.-H. L. Ong No. RR-04-23. Oxford University Computing Laboratory. October, 2004. |
|
[2] |
Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems M. Hague and C.-H. L. Ong In FoSSaCS. 2007. |
|
[3] |
The Safe Lambda Calculus William Blum and C.-H. Luke Ong Logic Methods in Computer Science. Vol. 5. No. 1. 2009. |