BibTeX记录conf/fscd/Statman21
@正在处理{DBLP:conf/fscd/Statman21， author={Rick Statman}， editor={Naoki Kobayashi}， title={Church半群是Sq-Universal}， booktitle={第六届国际计算形式结构会议 和扣除，{FSCD}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={2021年7月6日星期二15:54:59+0200}， biburl={ https://dblp.org/rec/conf/fscd/Statman21.bib }, bibsource={dblp计算机科学参考书目， 网址：https://dblp.org } }
