このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1Read less
このスライドはブログ記事として書き直しました。このスライドよりブログ記事の方がわかりやすいと思います。 http://d.hatena.ne.jp/syamino/20120524/p1Read less
Based on a short graduate course on typed lambda-calculus given at the Université Paris VII in the autumn term of 1986-7. Published by Cambridge University Press (Cambridge Tracts in Theoretical Computer Science, 7), ISBN 0 521 37181 3; first published 1989, reprinted with corrections 1990. Here is the story of how the translation came about: Jean-Yves had mentioned the notes to Paul at a conferen
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く