Benedetto Intrigila和Richard Statman：Omega规则在lambda beta-Calculus中是II_2^0-难的。(2004) conf/lics/IntrigilaS04 10.1109/LICS.2004.1319614 Omega规则在lambda beta-Calculus中是II_2^0-Hard。 2 贝内代托·因特里吉拉 1 理查德·斯塔特曼 2 202-210 低收入国家 低收入国家 2004 2004 dblp记录“conf/lics/IntrigilaS04”的RDF数据的来源信息 2023-03-24T00:01:49+0100