@第{zbMATH06243322条，作者={Kurz，Alexander and Petrisan，Daniela Luan and Severi，Paula and De Vries，Fer-Jan}，标题={lambda演算应用的标称余代数数据类型}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={9}，数字={4}，页码={51}，注={Id/No 22}，年份={2013}，语言={英语}，DOI={10.2168/LMCS-9（4:20）2013}，关键词={68Q65,03B40,18C50}，zbMATH={6243322}，Zbl={1314.68189}}