BibTeX记录conf/csl/BarberGHP97
@正在进行{DBLP:conf/csl/BarberGHP97， author={Andrew G.Barber和 菲利普·加德纳和 长谷正彦和 戈登·普洛金（Gordon D.Plotkin）， editor={莫根斯·尼尔森和 沃尔夫冈·托马斯}， title={从动作微积分到线性逻辑}， booktitle={计算机科学逻辑，第11届国际研讨会，{CSL}'97，年度 EACSL会议，丹麦奥胡斯，1997年8月23日至29日，精选 论文}， series={计算机科学讲稿}， 体积＝{1414}， 页数={78--97}， publisher={Springer}， 年份={1997}， url={ https://doi.org/10.1007/BFb0028008 }, doi={10.1007/BFB0028008}， timestamp={2022年10月2日，星期日15:58:20+0200}， biburl={ https://dblp.org/rec/conf/csl/BarberGHP97.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
