提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:journals/mscs/DavidG01AU-雷内·大卫AU-基尧姆，布鲁诺TI-具有显式减弱和显式替换的λ-演算。JO-数学。结构。计算。科学。VL-11IS-1标准SP-169EP-2062001年上半年//UR-（欧元）http://journals.cambridge.org/action/displayAbstract？aid=67279急诊室-