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