conf.researchr.org / Paul Blain Levy
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

HOPE 2020Invited Speaker of Variants of call-by-push-value within the HOPE 2020-track
GaLoP 2019Author of Universal property of the monad for infinite trace strategies (work in progress) within the GaLoP-track
FOSSACS 2019Committee Member in Program Committee within the FOSSACS 2019-track
PPS 2017Author of Commutativity logic for probabilistic trace equivalence: complete or not? within the PPS-track
POPL 2017Author of Contextual isomorphisms within the POPL-track