William Blum

William Blum

Doctoral Student
Student, Linacre College

William.Blum@comlab.ox.ac.uk
+44(0)1865 610 705

Room 445, Wolfson Building, Parks Road, Oxford OX1 3QD

interests

I am currently a DPhil student in the field of Game Semantics and program verification under the supervison of Prof. Luke Ong.

links

Personal web page
Tools
Publications & talks

publications

The Safe Lambda Calculus

William Blum, 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 Berlin / Heidelberg, 2007.

Details | BibTeX | Download | DOI (10.1007/978-3-540-73228-0)

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)

View all

info

themes	Foundations, Logic and Structures
activities	Game Semantics and its Applications
projects	Pushdown Automata and Game Semantics
supervisor	Luke Ong