Home » user account

Paul Blain Levy

Personal information


United Kingdom

male

http://www.cs.bham.ac.uk/~pbl

lecturer, University of Birmingham (UK)


semantics, especially denotational: games, nondeterminism, categories
call-by-push-value

History


5 years 4 weeks