开通博客赚积分
发布资源赚积分
分类

源码开发语言/平台
当前位置：首页 > 电子书籍 > 其他电子书
BinaryLambdaCalculus.rar
文件大小： 159k
下载次数：2
源码类别：

其他电子书

开发平台：

Lisp/Scheme

源码售价： 5 个金币 积分规则     积分充值
充值1元得10金币   
资源说明：一篇lisp方面的论文。 In the fi rst part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-interpreters for these binary languages. Along the way we also present new results on list representations, bracket abstraction, and fi xpoint combinators. In the second part we review Al- gorithmic Information Theory, for which these interpreters provide a con- venient vehicle. We demonstrate this with several concrete upper bounds on program-size complexity, including an elegant self-delimiting code for binary strings.
部分文件列表（点击文件名可查看文件内容）
本源码包内暂不包含可直接显示的源代码文件，请下载源码包。
最新本分类资源
本类热门下载