BibTeX记录conf/fscd/Statman21
@在过程中{DBLP:conf/fscd/Statman21， author={Rick Statman}， editor={Naoki Kobayashi}， title={Church半群是Sq-Universal}， booktitle={第六届国际计算形式结构会议 和扣除，｛FSCD｝2021，2021年7月17日至24日，阿根廷布宜诺斯艾利斯 （虚拟会议）}， 系列={LIPIcs}， 体积={195}， 页数={6:1--6:6}， publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}， 年份={2021}， url={ https://doi.org/10.4230/LIPIcs.FSCD.2021.6 }, doi={10.4230/LIPICS.FSCD.2021.6}， timestamp={2024年8月21日星期三22:46:00+0200}， biburl={ https://dblp.org/rec/conf/fscd/Statman21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
