Compaction of Church Numerals for Higher-Order Compression.

Isamu Furuya, Takuya Kida

Browse the full DCC paper archive.