组合者:百年观点

2021-03-29 00:11:48

下载PDF摘要:我们在1920年在MosesSchönfinkel发明了现代化的计算介绍,并提出了各种新的结果和思想组合者。我们探索用SmallCombinator表达获得的行为的频谱,显示出各种分析和不断化的方法。我们讨论了评估策略以及代表所有可能策略的多道系统的影响。我们展示了最近的基本物理模型中引入的因果图如何应用于Combininator,以及描述Combinator如何引入新形式的富人分离。我们在最小的Combinatore Xpressions上给出了各种新结果,并展示了与组合者可以完成经验计算理论和计算机复杂性理论的效果。我们还建议在持续计算方面观看时,单独的S组合器可以成为可能的通用计算。

关于Arxivlabs Arxivlabs的书目工具代码相关论文是一个框架,允许合作者在我们的网站上直接开发和分享新的Arxiv功能。

与Arxivlabs合作的个人和组织都接受并接受了我们的开放,社区,卓越和用户数据隐私价值观。 Arxiv致力于这些价值观,只与遵守它们的合作伙伴合作。

有一个项目,将增加Arxiv'社区的价值?了解有关Arxivlabs以及如何参与的更多信息。