もっと詳しく

自由に生成された集合と再帰的関数、暗黙に型付けられたラムダ計算