ETAPS 2019 (series) / Ken Sakayori
Registered user since Sat 6 Apr 2019
Name: Ken Sakayori
Affiliation: The University of Tokyo
Contributions
ESOP 2019 | A Categorical Model of an i/o-typed pi-calculus | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile