@文章{zbMATH05123039，作者={Blute，R.F.和Cockett，J.R.B.和Seely，R.A.G.}，标题={差异类别}，FJournal={MSCS.计算机科学中的数学结构}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={16}，数字={6}，页码={1049--1083}，年份={2006}，语言={英语}，DOI={10.1017/S0960129506005676}，关键词={03G30,03F52,18D10,18C20}，zbMATH={5123039}，Zbl={1115.03092}}