
Registered user since Fri 3 Jul 2015
Name:Paul Blain Levy
Contributions
POPL 2017 | Contextual isomorphisms | ||||||||||||||||||||||||||||||||||||||||
PPS 2017 | Commutativity logic for probabilistic trace equivalence: complete or not? | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile