26 0 0 0 OA ラムダ計算の型問題について
- 著者
- 藤田 憲悦
- 出版者
- 一般社団法人 日本数学会
- 雑誌
- 数学 (ISSN:0039470X)
- 巻号頁・発行日
- vol.66, no.1, pp.78-89, 2014-01-27 (Released:2017-04-13)
- 参考文献数
- 30
言及状況
外部データベース (DOI)
はてなブックマーク (9 users, 9 posts)
[ラムダ計算]
[あとで読む]
[ラムダ計算][数学][プログラミング]
[jst]
Twitter (17 users, 17 posts, 27 favorites)
https://t.co/bEmwo4c7y8
ラムダ計算の型問題について
—数学基礎論からプログラミング言語の構造へ—
https://t.co/OS1rGhnzhm
藤田先生の記事だ．
78 計算機と数学 ラムダ計算の型問題について −−−数学基礎論からプログラミング言語の構造へ−−− 藤 田 憲 悦 1 はじめに ラムダ計算 [ 8 ] は，Turing 機械と同様に万能な計算モデルであ https://t.co/MtG630Ho2U
“78 計算機と数学 ラムダ計算の型問題について −−−数学基礎論からプログラミング言語の構造へ−−− 藤 田 憲 悦 1 はじめに ラムダ計算 [ 8 ] は，Turing 機械と同様に万能な計算モデルであ” https://t.co/S1fTXNNngt