@第{zbMATH06254795条，作者={Cockett，Robin and Garner，Richard}，标题={限制类别作为丰富类别}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={523}，页码={37--55}，年份={2014}，语言={英语}，DOI={10.1016/j.tcs.2013.12.018}，关键词={18D20,18D05}，zbMATH={6254795}，Zbl={1288.18007}}