Registered user since Thu 2 Jun 2016
Name:Keigo Imai
Country:Japan
Affiliation:Gifu University
Personal website: https://keigoimai.info/
Research interests:Concurrency, Behavioural types, Session types, Process calculi, Programming languages
Contributions
ICFP 2021-profile
View general profile
View general profile