提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lics/LiguoroPS92AU-德利古罗，乌戈AU-阿道夫·皮珀诺澳大利亚统计局，RichardTI-在简单类型的lambda beta eta演算中收回1992年6月22日至25日，美国加利福尼亚州圣克鲁斯市，第七届计算机科学逻辑年度研讨会（LICS’92）会议记录SP-461EP-4691992年上半年//DO-10.1109/LICS.19992.185557UR-（欧元）https://doi.org/10.1109/LICS.1992.185557UR-（欧元）https://doi.ieecomputersociety.org/10.1109/LICS.1992.185557急诊室-