The top documents of sosuke-moriguchi
Nagoya Matsuri 2013 ぐだぐだAgda
971 views
ProofSummit2013 べらべらAbella
328 views
ProofSummit2014 : VSTでCの検証
501 views
Cartesian Closed Category
2.054 views
fibsを読む
351 views
Curry-Howard同型から単純型付ラムダ計算の項を作る
784 views
A/F/C-orientation
162 views
Linear logic (and Linear Lisp)
102 views
PEGの回文っぽいExpression
727 views