卫斯理·菲亚 使用fibrations了解子类型。 （英语） Zbl 0792.03009号 Fourman，M.P.（编辑）等人，《类别在计算机科学中的应用》。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。177, 239-257 (1992).MSC公司：03B40型 03克30 18对25 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Phoa}，伦敦。数学。Soc.Lect（社会学）。注释序列号。177239--257（1992年；Zbl 0792.03009）
西利，R.A.G。 高阶多态lambda演算和范畴。二、。 （英语） 兹比尔0632.03014 C.R.数学。阿卡德。科学。，Soc.R.加拿大。 8, 197-201 (1986)。MSC公司：03B40型 03克30 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，C.R.数学。阿卡德。科学。，Soc.R.加拿大。8197--201（1986；Zbl 0632.03014）