Paul Blain Levy -

Registered user since Fri 3 Jul 2015

Name:Paul Blain Levy

Country:United Kingdom

Affiliation:University of Birmingham

Personal website: http://www.cs.bham.ac.uk/~pbl/

Contributions

2020

HOPE

Invited Speaker of Variants of call-by-push-value within the HOPE 2020-track

2019

FOSSACS

Committee Member in Program Committee within the FOSSACS 2019-track

GaLoP

Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track

2017

POPL

Author of Contextual isomorphisms within the POPL-track

LAFI

Author of Commutativity logic for probabilistic trace equivalence: complete or not? within the PPS-track