J.Roger欣德利 基本的简单类型理论。带更正的平装版重印。 （英语） Zbl 1135.03006号 剑桥理论计算机科学丛书42.剑桥：剑桥大学出版社（ISBN 978-0-521-05422-5/pbk）。xii，186页。(2008). 审核人：Reinhard Kahle（科英布拉） MSC公司：03B40型 03B70号 03B20型 68-01 03-01 03B15号机组 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Hindley}，基本简单类型理论。带更正的平装重印。剑桥：剑桥大学出版社（2008；Zbl 1135.03006）
J.Roger欣德利 基本的简单类型理论。 （英语） Zbl 0906.03012号 剑桥理论计算机科学丛书. 42. 剑桥：剑桥大学出版社。xi，186页（1997）。 审核人：K.Shvachko（佩雷斯拉夫-扎莱斯基） MSC公司：03B40型 03B70号 03B20型 68-01 03-01 03B15号机组 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Hindley}，基本简单类型理论。剑桥：剑桥大学出版社（1997；Zbl 0906.03012）