カリー/ハワード/ランベック対応
#Fleeting_Notes
カリー/ハワード/ランベック対応(Curry-Howard-Lambek correspondence)
単純型理論
↔
命題論理
依存型理論
↔
述語論理
確認用
Q. カリー/ハワード/ランベック対応
参考
カリー/ハワード/ランベック対応の辞書 - 檜山正幸のキマイラ飼育記 (はてなBlog)
メモ
Curry-Howard-Lambek correspondence - HaskellWiki
The 5 Curry-Howard-Lambek correspondence
調査用
Google.icon
カリー/ハワード/ランベック対応(日)
Google.icon
Curry-howard-lambek correspondence(英)
Wikipedia.icon
カリー/ハワード/ランベック対応 - Wikipedia(日)
カリー/ハワード/ランベック対応(検索) - Wikipedia(日)
Wikipedia.icon
Curry-howard-lambek correspondence - Wikipedia(英)
Curry-howard-lambek correspondence(検索) - Wikipedia(英)