BibTeX记录conf/ppdp/BozzanoDM00
@正在进行{DBLP:conf/ppdp/BozzanoDM00， author={Marco Bozzano和 乔治·德尔扎诺和 Maurizio Martelli}， editor={Maurizio Gabbrielli和 Frank Pfenning}， title={线性逻辑程序的自下而上语义}， booktitle={第二届国际{ACM}{SIGPLAN}会议记录 关于声明性编程的原则和实践，加拿大蒙特利尔， 2000年9月20日至23日}， 页数={92--102}， publisher={{ACM}}， 年份={2000}， url={ https://doi.org/10.1145/351268.351279 }， doi={10.1145/351268.351279}， timestamp={2021年10月14日星期四10:42:42+0200}， biburl={ https://dblp.org/rec/conf/ppdp/BozzanoDM00.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
