sosuke-moriguchi documents

Nagoya Matsuri 2013 ぐだぐだAgda
Documents Nagoya Matsuri 2013 ぐだぐだAgda
ProofSummit2013 べらべらAbella
Documents ProofSummit2013 べらべらAbella
ProofSummit2014 : VSTでCの検証
Engineering ProofSummit2014 : VSTでCの検証
Cartesian Closed Category
Documents Cartesian Closed Category
fibsを読む
Education fibsを読む
Curry-Howard同型から単純型付ラムダ計算の項を作る
Documents Curry-Howard同型から単純型付ラムダ計算の項を作る
Linear logic (and Linear Lisp)
Education Linear logic (and Linear Lisp)
PEGの回文っぽいExpression
Education PEGの回文っぽいExpression