Registered user since Thu 29 Aug 2024
Name:Takahiro Sanada
Country:Japan
Affiliation:Fukui Prefectural University
Personal website: https://www.kurims.kyoto-u.ac.jp/~tsanada/
Research interests:Programming Language, Effect, Categorical Semantics, Coalgebra
Contributions
Using general profile