如何解决纯序言δλ-微积分等式
想出一个外表关系并不难 对于皮亚诺数字。它甚至可以制作一个具体化 eq/3 谓词如 here。
现在的问题是,我们是否可以突破界限,也可以
以纯粹和具体化的方式实现 Scheme equal?
谓词?
问题将是例如实现这种减少,
也称为 δ 规则(参见第 6 章扩展here):
δxx ~~> T
δxy ~~> F if x and y are not identical
如果术语用 deBruijn 索引表示。这
会将 alpha 转换合并到 equal?
谓词中
除了处理列表(树)。纯可以意味着本质上纯
或操作纯,如逻辑纯度标签中所定义。
测试用例是与列表(树)的纯粹交集,而只是 Peano 数字。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。