提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ppdp/BozzanoDM00澳大利亚-波扎诺，马尔科澳大利亚-乔治·德尔扎诺澳大利亚-马泰利，毛里齐奥TI-线性逻辑程序的自下而上的语义。BT-2000年9月20日至23日在加拿大蒙特利尔举行的第二届ACM SIGPLAN国际声明性编程原则和实践会议记录SP-92EP-1022000年上半年//DO-10.1145/351268.351279UR-（欧元）https://doi.org/10.1145/351268.351279急诊室-