贝内代托·因特里吉拉 理查德·斯塔特曼 Omega规则在λβ-演算中是∏<sub>1</sub><sup>1 http://arxiv.org/abs/0903.1374 2009 日志。方法计算。科学。 5 db/journals/lmcs/lmcs5.html#abs-0903-1374 2