ハセガワ, マサヒト
長谷川, 真人(1970-)
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 場所 | 岐阜県 |
| 一般注記 | SRC:Models of sharing graphs : a categorical semantics of let and letrec / Masahito Hasegawa (Springer, 1999) 京都大学数理解析研究所助手 |
| Dates of Birth and Death | 1970 |
| から見よ参照 | Hasegawa, Masahito |
| コード類 | 典拠ID=AU20012016 NCID=DA12254877 |
| 1 | 理論計算機科学事典= Encyclopedia of theoretical computer science / 徳山豪, 小林直樹総編集 ; 岩間一雄 [ほか] 編集 東京 : 朝倉書店 , 2022.1 |
| 2 | 論理とプログラム意味論 / 田辺誠, 中島玲二, 長谷川真人著 東京 : 岩波書店 , 1999.9 |