提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lics/IntrigilaS04澳大利亚-Intrigila，BenedettoAU-理查德·斯坦曼TI-欧米茄法则在lambda beta-微积分中是II_2^0-难的。BT-第19届IEEE计算机科学逻辑研讨会（LICS 2004），2004年7月14日至17日，芬兰图尔库，会议记录SP-202型EP-2102004年上半年//DO-10.1109/LICS.2004.1319614UR-（欧元）https://doi.org/10.109/LICS.2004.1319614UR-（欧元）https://doi.ieecomputersociety.org/10.109/LICS.2004.1319614呃-