Paul Blain Levy | Lambda the Ultimate

Paul Blain Levy

view
track

Personal information

Country:
United Kingdom

Gender:
male

Biography:

lecturer, University of Birmingham (UK)

Interests:

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

History

Member for:
19 years 35 weeks