@第{zbMATH06285626条，作者={斯特里彻，托马斯}，标题={从范畴的角度看克里文的经典可实现性}，FJournal={MSCS.计算机科学中的数学结构}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={23}，数字={6}，页码={1234--1256}，年份={2013}，语言={英语}，DOI={10.1017/S0960129512000989}，关键词={03G30,03B40,03F50,03F55}，zbMATH={6285626}，Zbl={1326.03083}}