ETAPS 2019 (series) / Takeshi Tsukada
Registered user since Mon 10 Jun 2019
Name:Takeshi Tsukada
Affiliation:University of Tokyo, Japan
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