提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/tlca/Statman99澳大利亚统计局，RichardJacopini定理的结果：一致的等式和方程。BT型Lambda微积分及其应用，第四届国际会议，TLCA’99，意大利拉奎拉，1999年4月7日至9日，会议记录SP-355型第364页1999年上半年//做-10.1007/3-5440-48959-2_25UR-（欧元）https://doi.org/10.1007/3-540-48959-2_25急诊室-