Akira Yoshimizu -

Registered user since Mon 5 Nov 2018

Name:Akira Yoshimizu

Affiliation:INRIA

Personal website: http://www.cs.unibo.it/~akira.yoshimizu/

Contributions

2019

POPL

Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track

2017

POPL

Author of The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects within the POPL-track