『Type Theory and Formal Proof - An Introduction』という本が出たそうな。高い。

hitotakuchanhitotakuchan のブックマーク 2015/01/16 12:48

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Amazon.co.jp: Type Theory and Formal Proof: An Introduction (English Edition): Nederpelt, Rob, Geuvers, Herman: Digital Ebook Purchas

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう