提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lics/Statman91澳大利亚统计局，RichardTI-Freyd的组合子单体层次BT-第六届计算机科学逻辑年度研讨会论文集（LICS’91），荷兰阿姆斯特丹，1991年7月15日至18日SP-186EP-1901991年上半年//DO-10.1109/LICS.1991.151643UR-（欧元）https://doi.org/10.1109/LICS.1991.151643UR-（欧元）https://doi.ieecoputersociety.org/10.1109/LICS.1991.151643急诊室-