提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/lmcs/IntrigilaS06澳大利亚-Intrigila，Benedetto澳大利亚统计局，RichardTI-Barendregt问题在Sensible lambda理论上的解。JO-日志。方法计算。科学。VL-2级IS-4标准2006年上半年//DO-10.2168/LMCS-2（4:5）2006年UR-（欧元）https://doi.org/10.2168/LMCS-2(4:5)2006急诊室-