Publications
Conference papers and talks
-
The Safe Lambda Calculus (extended version)
With C.-H. Luke Ong.
Technical report. Long version of the TLCA07 paper.
Download paper (pdf) | Download slides (pdf) -
The Safe Lambda Calculus
With C.-H. Luke Ong.
In Lecture Notes in Computer Science Vol. 4583 of Proceedings of the 8th International Conference on Typed Lambda Calculi and Applications (TLCA07), pages 39-53. © Springer-Verlag Berlin / Heidelberg, 2007.
Download (pdf) | Bibtex -
A concrete presentation of Game Semantics
Talk given at Galop workshop (ETAPS 2008)
Slides (pdf) -
A concrete presentation of Game Semantics
Talk given at BCTCS 2008
Slides (pdf) -
Termination analysis of lambda calculus and a subset of core ML
Talk given at BCTCS 2005
Journal papers
-
The Safe Lambda Calculus (submited)
With C.-H. Luke Ong.
Submited to Logical Methods in Computer Science (LMCS).
-
Local computation of beta-reduction--A concrete presentation of Game Semantics (in preparation)
With C.-H. Luke Ong.
Annals of Pure and Applied Logic (APAL), (in preparation).
Download (pdf)
Thesis
-
The Safe Lambda Calculus
D.Phil. thesis, submitted, Oxford University.
Download (pdf)
Work, presentations
-
The Safe Lambda Calculus
FOCS group lunchtime meeting.
Slides (pdf) -
The Safe Lambda Calculus
Slides (pdf) -
DPhil transfer thesis: The Safe Lambda Calculus
Technical report, submitted August 2006.
Slides (pdf) | Bibtex -
Termination analysis of lambda calculus and a subset of core ML
Master's Thesis. 2004.
Download (pdf) | Sources (Objective Caml) | Bibtex






