提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-cs-0609080澳大利亚-Intrigila，BenedettoAU-理查德·斯坦曼一个Barendregt问题在敏感λ理论上的TI解法JO-CoRR公司VL-abs/cs/06090802006年上半年//UR-（欧元）http://arxiv.org/abs/cs/0609080呃-