BibTeX记录日志/entcs/Statman16
@inprocesdings{DBLP:日志/entcs/Statman16， author={Rick Statman}， 编辑器＝{Lars-Birkedal}， title={关于半群和其他同余在Lambda中的表示 微积分}， booktitle={第三十二届程序设计数学基础会议 Semantics，｛MFPS｝2016，宾夕法尼亚州匹兹堡卡内基梅隆大学， 美国，2016年5月23日至26日}， series={理论计算机科学中的电子笔记}， 体积={325}， 页数={299--304}， publisher={Elsevier}， 年份={2016年}， url={ https://doi.org/10.1016/j.entcs.2016.09.044 }, doi={10.1016/J.ENTCS.2016.09.044}， timestamp={2022年8月16日星期二23:07:07+0200}， biburl={ https://dblp.org/rec/journals/entcs/Statman16.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
