Luke Ong: Publications

[1]	The Safe Lambda Calculus William Blum, C.-H. Luke Ong Logic Methods in Computer Science, Vol. 5, No. 1, 2009. Details \| BibTeX \| Download \| DOI (10.2168/LMCS-5(1:3)2009)

[2]	Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems M. Hague, C.-H. L. Ong In FoSSaCS 2007. Long Version (pdf) Details \| BibTeX \| Download (pdf)

[3]	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, Technical Report, Oxford University Computing Laboratory. October 2004. Details \| BibTeX \| Download (ps)