公開ページTOPへ
興味あります。
2019/09/21
型付きラムダ計算について述べられている数少ない日本語書籍であると認識していますので是非復刊をお願いいたします。
2011/12/13
ようやく少しは圏論が理解できるようになり、買おうと思ったら絶版でした。
2011/07/27
