提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/tlca/IntrigilaS07澳大利亚-Intrigila，BenedettoAU-理查德·斯坦曼TI-欧米茄规则是P₁¹-在中完成兰达贝塔-微积分。BT型Lambda微积分与应用，第八届国际会议，TLCA 2007，法国巴黎，2007年6月26-28日，会议记录SP-178EP-1932007年上半年//DO-2007年10月10日/978-3-540-73228-0_14UR-（欧元）https://doi.org/10.1007/978-3-540-73228-0_14呃-