提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lpar/Statman00澳大利亚统计局，RichardTI-Church的Lambda Delta微积分。BT-编程和自动推理逻辑，第七届国际会议，LPAR 2000，法国留尼汪岛，2000年11月11-12日，会议记录SP-293型第307页2000年上半年//DO-2007年10月10日/3-540-44404-1_19UR-（欧元）https://doi.org/10.1007/3-540-44404-1_19急诊室-