@第{zbMATH07379288条，作者=｛Ahrens、Benedikt和Hirschowitz、Andr｛'e｝和Lafont、Ambroise和Maggesi、Marco｝，标题={可呈现签名和初始语义}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={17}，数字={2}，页码={28}，注={Id/No 17}，年份={2021}，语言={英语}，DOI={10.23638/LMCS-17（2:17）2021}，关键词={03B70,68-XX}，zbMATH={7379288}}