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