|
|
|
|
|
Isamu Furuya and Takuya Kida
In this study, we address the problem of compaction of Church numerals. Church numerals are unary representations of natural numbers on the scheme of lambda terms. We propose a novel decomposition scheme from a given natural number into an arithmetic exp...
ver más
|
|
|
|
|