西利，R.A.G。 高阶多态lambda演算和类别。 （英语） Zbl 0632.03013号 C.R.数学。阿卡德。科学。，Soc.R.加拿大。 8, 135-139 (1986)。 提出了一种分类语义，适用于解释Girard和Reyolds的多态lambda演算；事实上，在这些范畴和类型理论之间建立了范畴的等价性。为了说明语义，本文介绍了著名的（P\omega）模型。 引用于1审查引用于6文件 MSC公司： 03B40型 组合逻辑与lambda演算 03G30型 分类逻辑，拓扑 关键词：范畴语义学;多态lambda演算;范畴的等价性;类型理论;P（\omega）模型 引文：Zbl 0632.03014号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，C.R.数学。阿卡德。科学。，Soc.R.加拿大。8135-139（1986年；Zbl 0632.03013）