15 0 0 0 OA タイプ理論の起源と発展
- 著者
- 池田 真治 伊藤 遼 久木田 水生
- 出版者
- 京都大学哲学論叢刊行会
- 雑誌
- 哲学論叢 (ISSN:0914143X)
- 巻号頁・発行日
- vol.38, no.別冊, pp.S49-S60, 2011
言及状況
はてなブックマーク (4 users, 4 posts)
[programming]
[数学][プログラミング]
「タイプ理論の起源と発展」（池田真治、伊藤遼、久木田水生） >λ 計算の体系と単純タイプ理論とが結びついて、型付き λ 計算（typed λ calculus）の理論が創始
[philosophy]
Twitter (11 users, 35 posts, 10 favorites)
@noukoknows 「。「非可述的定義」とは、定義されるべき項を含む全体に言及した定義である。」というのでしょうか。 http://t.co/2efVmMbH
こちらもよろしく。入門用。【pdf】 池田, 真治, 伊藤, 遼, 久木田, 水生 (2011)「タイプ理論の起源と発展」 哲学論叢, 38(別冊): S49-S60 http://t.co/3J6hbr2E