@文章{zbMATH07566071，作者={菲奥雷、马塞洛·P·和皮特斯、安德鲁·M·和斯坦坎普·S·C·}，标题={商、归纳类型和商归纳类型}，FJournal={计算机科学中的逻辑方法}，日志={Log.Methods Compute.Sci.}，ISSN={1860-5974}，体积={18}，数字={2}，页码={37}，注={Id/No 15}，年份={2022}，语言={英语}，关键词={18N45,03B38,68V15}，URL={lmcs.episciences.org/9655}，zbMATH={7566071}，Zbl={1502.18046}}