清水の本、チャーチetcがラムダ計算に対してやったことをカテゴリで焼きなおしてるだけジャンｗ
ってかカテゴリ系の研究ってみんなそんなもん、新しいことを何一ついわずに、
カテゴリという言語でかきなおしただけｗｗｗｗｗｗｗｗｗｗ
しかもこの本、ラムダ計算そのまま使って高階論理あらわしちゃってるしｗｗｗｗｗ

いたすぎｗｗ