ハセガワ, マサヒト
長谷川, 真人(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 |