西利，R.A.G。 高阶多态lambda演算和范畴。二、。 （英语） Zbl 0632.03014号 C.R.数学。阿卡德。科学。，Soc.R.加拿大。 8, 197-201 (1986). [第一部分在上文中进行了回顾（参见Zbl 0632.03013号).]给出了“带子类型的多态lambda演算”的定义，以及合适的范畴语义。（等式子类型可以在此上下文中定义。）通过应用于\（P\omega）中著名的闭包算子模型，说明了构造此理论模型的技术。 引用于1审查 MSC公司： 03B40型 组合逻辑与lambda演算 03G30型 分类逻辑，拓扑 关键词：具有子类型的多态lambda演算；范畴语义学；P中闭包算子的模型 引文：Zbl 0632.03013号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely}，C.R.数学。阿卡德。科学。，Soc.R.加拿大。8197--201（1986；Zbl 0632.03014）