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
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