@第{zbMATH03857108条，作者={Seely，R.A.G.}，Title＝{局部{笛卡尔}闭范畴和类型理论}，FJournal={剑桥哲学学会数学学报}，期刊={数学、程序、剑桥、哲学、社会学}，ISSN＝{0305-0041}，体积={95}，页码={33--48}，年份={1984年}，语言={英语}，DOI={10.1017/S0305004100061284}，关键词={03G30,03B15,03F99,18D30}，zbMATH={3857108}，Zbl={0539.03048}}