Dr Paul Levy
Senior Lecturer
Contact details
Telephone (+44) (0)121 414 4792
Office 216 (Y9 Computer Science Building)
Email P.B....@cs.bham.ac.uk (click the ... to reveal)
Web http://www.cs.bham.ac.uk/~pbl/
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK
About
Research Interests
Denotational semantics, call-by-push-value, computational effects, nondeterminism, game semantics