An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus
An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus
复制标题
纯 Lambda 演算中紧凑高效数表示的研究
DOI：
10.1007/3-540-45575-2_20
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Torben Æ. Mogensen
中科院分区：
文献类型：
--
作者：
Torben Æ. Mogensen
我们认为，一个紧凑的右相关联的二进制数表示提供了更简单的运营商和更好的效率比左相关联的二进制数表示提出的den Hoed和Goldberg的调查。然后将这种表示推广到更高的数基，并认为3和5之间的基比二进制表示效率更高。
We argue that a compact right-associated binary number representation gives simpler operators and better efficiency than the leftassociated binary number representation proposed by den Hoed and investigated by Goldberg. This representation is then generalised to higher number-bases and it is argued that bases between 3 and 5can give higher efficiency than binary representation.