Paul Blain Levy (rhymes with "all plain Stevie")
Reader in Theoretical Computer Science
School of Computer Science, University of Birmingham
Edgbaston, Birmingham, B15 2TT, UK
phone: +44 121 414 4792
email: P.B.Levy@bham.ac.uk
I am a member of the Birmingham Theoretical Computer Science group, and my interests include
- semantics of programming languages, including denotational, operational and game semantics
- computational effects, both individually and generally
- call-by-push-value
- semantics of nondeterminism
- category theory, in particular categorical semantics and coalgebra.
If you're interested in PhD research in any of the above topics, please contact me.
|
Papers
Manuscripts
Slides
Course notes on typed λ-calculus and coalgebra and effects and call-by-push-value from Midlands Graduate School
My book on call-by-push-value
Paul Blain Levy
Last modified: Mon Mar 24 10:24:49 GMT 2025