言及状況

はてなブックマーク (2 users, 2 posts)

[数学][プログラミング] 「タイプ理論の起源と発展」(池田真治、伊藤遼、久木田水生) >λ 計算の体系と単純タイプ理論とが結びついて、型付き λ 計算(typed λ calculus)の理論が創始

Twitter (11 users, 35 posts, 8 favorites)

@noukoknows 「。「非可述的定義」とは、定義されるべき項を含む全体に言及した定義である。」というのでしょうか。 http://t.co/2efVmMbH
こちらもよろしく。入門用。【pdf】 池田, 真治, 伊藤, 遼, 久木田, 水生 (2011)「タイプ理論の起源と発展」 哲学論叢, 38(別冊): S49-S60 http://t.co/3J6hbr2E 

収集済み URL リスト