提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lics/Statman02澳大利亚统计局，RichardTI-关于Lambda Y演算。BT-第17届IEEE计算机科学逻辑研讨会（LICS 2002），2002年7月22日至25日，丹麦哥本哈根，会议记录SP-159第166页2002年上半年//DO-10.1109/LICS.2002.1029825UR-（欧元）https://doi.org/10.109/LICS.2002.1029825UR-（欧元）https://doi.ieecomputersociety.org/10.1109/LICS.2002.1029825急诊室-