William Blum

William Blum

Doctoral Student
Student, Linacre College

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

interests

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

links

Publications & talks
Tools
Personal web page

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 (pdf) | DOI (10.1007/978-3-540-73228-0)

View all

info

themes	Theory and Automated Verification
activities	Game Semantics and its Applications
projects	Pushdown Automata and Game Semantics
supervisor	Luke Ong

location

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