Home » user account

Paul Blain Levy

Personal information


United Kingdom

male

lecturer, University of Birmingham (UK)


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

History


18 years 48 weeks