Write a Blog >>
Johannes Å. Pohjola

Not registered as user yet

Name:Johannes Å. Pohjola
Affiliation:Uppsala University

Contributions

CPP 2016 Bisimulation Up-to Techniques for Psi-calculi
Show activities from other conferences

POPL 2016-profile
View general profile