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