@第{zbMATH01870268条，作者={Blute，R.和Cockett，J.R.B.和Seely，R.A.G.}，标题={线性函子的逻辑}，FJournal={MSCS.Mathematical Structures in Computer Science（计算机科学中的数学结构）}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={12}，数字={4}，页码={519--539}，年份={2002}，语言={英语}，DOI={10.1017/S096012902003717}，关键词={03G30,03F52,03F05}，zbMATH={1870268}，Zbl={1020.03063}}