2 0 0 0 OA 再帰プログラムの意味論について
- 著者
- 長谷川 真人
- 出版者
- 一般社団法人 日本数学会
- 雑誌
- 数学 (ISSN:0039470X)
- 巻号頁・発行日
- vol.59, no.2, pp.180-191, 2007 (Released:2011-03-04)
- 参考文献数
- 20
言及状況
外部データベース (DOI)
Twitter (2 users, 2 posts, 0 favorites)
長谷川 真人『再帰プログラムの意味論について』 http://t.co/EXhtVB7VgX
『プログラム意味論』を読む機運が高まる。
「再帰プログラムの意味論について」https://t.co/2jpUKat5n3