HASEGAWA Ryu
| Name | 長谷川 立 / HASEGAWA Ryu |
|---|---|
| Degree | PhD |
| Occupation | Associate Professor |
| Affiliation | Graduate School of Mathematical Science |
| Affiliation site URL | http://www.ms.u-tokyo.ac.jp/index.html |
| Research theme(s) | Type Theory，Programming Languages |
| Keywords related to research themes | Type Theory, Programming Languages |
| Scopus Link to individual page | Scopus |
KAKEN (Latest 10)
| Review Section/Research Field | |
|---|---|
| Keywords |
