Compaction of Church Numerals for Higher-Order Compression
Compaction of Church Numerals for Higher-Order Compression
复制标题
用于高阶压缩的教堂数字压缩
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Isamu Furuya and Takuya Kida
中科院分区：
文献类型：
--
作者：
山本克彦，入野俊夫，松井淑恵;荒木章子，木下慶介，中谷智広;Isamu Furuya and Takuya Kida
纯 Lambda 演算中紧凑高效数表示的研究
DOI：
10.1007/3-540-45575-2_20
发表时间：
2001
期刊：
--
影响因子：
--
作者：
Torben Æ. Mogensen
通讯作者：
Torben Æ. Mogensen