Benedetto Intrigila和Richard Statman：Omega规则在λβ-演算中是∏11-Complete（2009） 日记账/corr/abs-0903-1374 903.1374 在λβ-演算中，欧米茄法则是∏11-完备的 2 贝内代托·因特里吉拉 1 理查德·斯塔特曼 2 日志。方法计算。科学。 日志。方法计算。科学。 5 2 2009 dblp记录“journals/corr/abs-0903-1374”的RDF数据的来源信息 2020-06-25T21:29:12+0200