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