$lambdamu，rho，theta$-演算的规约序列长度估计
摘要：基于Xi关于Xi-演算的结果，我们给出了$lambdamu$-演算中的缩减序列长度的上界，该演算中加入了$ho$-和$theta$-规则。令人惊讶的是，我们的结果显示，尽管$mu$-抽象能够通过$mu$-规则消耗无限数量的参数，但新的术语和新的规则并不增加演算的计算复杂性。
作者：P''eter Batty''anyi and Karim Nour
论文ID：1703.05930
分类：Logic
分类简称：math.LO
提交时间：2023-06-22