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