2008-06-29から1日間の記事一覧

Curry-Howard

とりあえずはメモだけ このような「型=命題,プログラム=証明」という対応のことを,カリー・ハワードの対応(Curry-Howard correspondence)という http://itpro.nikkeibp.co.jp/article/COLUMN/20070909/281498/ http://www.kmonos.net/wlog/61.html#_05…