提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lics/Statman86澳大利亚统计局，RichardTI-关于将Lambda术语翻译成组合词；基础问题1986年6月16日至18日，美国马萨诸塞州剑桥市，英国电信（BT）——计算机科学逻辑研讨会论文集（LICS’86）SP-378型EP-382PY-1986年//急诊室-