BibTeX记录conf/popl/CalcagnoGZ07
@正在进行{DBLP:conf/popl/CalcagnoGZ07， author={克里斯蒂亚诺·卡尔卡尼奥和 菲利普·加德纳和 乌里·扎尔法蒂}， editor={马丁·霍夫曼和 Matthias Felleisen}， title={作为模态逻辑的上下文逻辑：完备性和参数不表达}， booktitle＝｛第34届｛ACM｝｛SIGPLAN-SIGCT｝原则研讨会论文集 《编程语言》，{POPL}2007，法国尼斯，1月17日至19日， 2007}, 页数={123--134}， publisher={{ACM}}， 年份={2007}， url={ https://doi.org/10.1145/1190216.1190236 }, doi={10.1145/190216.1190236}， timestamp={2021年6月25日星期五14:48:54+0200}， biburl={ https://dblp.org/rec/conf/popl/CalcagnoGZ07.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
