[型理論] (11件)

• 2011年1月
• ブックマーク よくわかりません - Haskellの継続モナド(Continuation Monad)を理解するポイント 2011年01月31日 19:06:09
• ブックマーク sumiiの日記 - callccによる排中律の証明 2011年01月21日 17:00:01
• ブックマーク 檜山正幸のキマイラ飼育記 - 「物理系実務者のための圏論入門」への補遺＋檜山の戯言 2011年01月20日 20:18:05
• ブックマーク A formulae-as-type notion of control 2011年01月20日 20:18:33
• ブックマーク Curry-Howard Isomorphism@d.y.d. 2011年01月20日 20:19:06
• ブックマーク [haskell][quiz] (forall x. ((x->r)->r)->x) -> Either a (a->r) - ヒビルテ (2006-04-29) 2011年01月20日 20:19:50
• ブックマーク Call-with-current-continuation - Wikipedia, the free encyclopedia 2011年01月20日 20:25:59
• ブックマーク HaskellのContモナドに触れてみる - Hatena’s Kitchen 2011年01月20日 20:27:00
• ブックマーク platform 2011年01月20日 20:27:42
• 2006年4月
• ブックマーク Amazon.com: Introduction to Mathematical Logic and Type Theory: Books: Peter B. Andrews 2006年04月25日 02:05:33
• ブックマーク 檜山正幸のキマイラ飼育記 - デュアルプログラミングとエクソシストゲーム 2006年04月07日 13:30:37