Paul Blain Levy

Personal information


United Kingdom

male

lecturer, University of Birmingham (UK)


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

History


17 years 39 weeks