@书籍{zbMATH07573873，编辑={Basold，Henning and Cockx，Jesper and Ghilezan，Silvia}，标题={第27届国际证明和程序类型会议，{types}2021，{Leiden}，{The}{Netherlands}，虚拟会议，{June}14-18，2021}，F系列＝{LIPIcs-Leibniz国际信息学论文集}，Series={LIPIcs--Leibniz Int.Proc.Inform.}，ISSN={1868-8969}，体积={239}，国际标准图书编号={978-3-95977-254-9}，年份={2022}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.类型.2021.0}，关键词={68-06,03B70,68N30,00B25}，URL={drops.dagstuhl.de/opus/volltexte/2022/16768/pdf/lipics-vol239-types2021-complete.pdf}，zbMATH={7573873}，Zbl={1494.68007}}