Questions tagged «interaction-nets»

1
最优评估者实际上是最优的吗?
以下术语(使用bruijn-indexes): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) 当应用于教会人数时N,包括幼稚的评估者在内的数个现有评估者会迅速将其评估为正常形式。但是,如果您将该术语编码为交互网络并使用Lamping的抽象算法对其进行评估,则它相对于会以指数形式减少β的减少N。在Optlam上,特别是: N interactions(betas) (BADTERM N) 1 129(72) λλλ(1 (2 (2 (2 (2 (2 (2 (2 0)))))))) 2 437(205) λλλ(2 (1 (2 (2 (2 (2 …

1
您如何使用交互组合器对Lamping的抽象算法进行编码?
以前,交互组合器已被建议作为λ微积分的编译目标。那篇论文实现了完整的λ演算。还已知有可能针对可进行 EAL类型化的λ项的子集优化λ演算的交互网络编码。该论文通过将EAL类型的λ项转换为交互网络来实现λ演算的子集,该交互网络可能比交互组合器更复杂,因为它们使用无限的标签字母来对复制器进行分组。 我想知道是否可以将这两个建议结合在一起。也就是说,作为交互组合器,抽象算法是否有任何编码-即可EAL类型的λ项?
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.