@书籍{zbMATH07359927，编辑={de'Liguoro、Ugo和Berardi、Stefano和Altenkirch、Thorsten}，标题={第26届国际校样和程序类型会议，{types}2020，{都灵大学}，{意大利}，FSeries={LIPIcs--Leibniz国际信息学论文集}，Series={LIPIcs--Leibniz Int.Proc.Inform.}，ISSN={1868-8969}，体积={188}，国际标准图书编号={978-3-95977-182-5}，年份={2021}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.类型.2020.0}，关键词={68-06,03B70,68N30,00B25}，URL={drops.dagstuhl.de/opus/volltexte/2021/13878/pdf/lipics-vol188-types2020-complete.pdf}，zbMATH={7359927}，Zbl={1465.68018}}