西利,R.A.G。 高阶多态lambda演算和范畴。二、。 (英语) Zbl 0632.03014号 C.R.数学。阿卡德。科学。,Soc.R.加拿大。 8, 197-201 (1986).MSC公司:03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely},C.R.数学。阿卡德。科学。,Soc.R.加拿大。8197--201(1986;Zbl 0632.03014)
西利,R.A.G。 高阶多态lambda演算和范畴。 (英语) Zbl 0632.03013号 C.R.数学。阿卡德。科学。,Soc.R.加拿大。 8, 135-139 (1986).MSC公司:03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.G.Seely},C.R.数学。阿卡德。科学。,Soc.R.加拿大。8135-139(1986年;Zbl 0632.03013)