BibTeX记录conf/lics/AmorimKMPR21
@正在进行{DBLP:conf/lics/AmorimKMPR21， 作者={佩德罗·H·阿泽夫多·德·阿莫林和 Dexter Kozen和 Radu Mardare和 普拉卡什·帕南加登和 迈克尔·罗伯茨}， title={随机{\（lambda\）}-微积分}的通用语义， booktitle={第36届年度{ACM/IEEE}计算机科学逻辑研讨会，{LICS} 2021年6月29日至2021年7月2日，意大利罗马}， 页数={1--12}， publisher={{IEEE}}， 年份={2021}， url={ https://doi.org/10.1109/LICS52264.2021.94700747 }, doi={10.1109/LICS52264.2021.9470747}， timestamp={2021年7月9日星期五14:36:19+0200}， biburl={ https://dblp.org/rec/conf/lics/AmorimKMPR21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
