• Sign in
  • Sign up
conf.researchr.org / Paul Blain Levy
  • ETAPS 2019 profile
  • ICFP 2020 profile
  • POPL 2017 profile
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

Share
xSat 21 May 05:58
using conf.researchr.org (v1.55.6)
Support page
Sign Up