摘要
Aho，A.V.和Ullman，J.D.《解析、翻译和编译理论》，第二卷：编译。 普伦蒂斯·霍尔，新泽西州恩格尔伍德克利夫斯，1973年。 谷歌学者 
数字图书馆 
Goguen，J.A.和Thatcher，J.W.初始代数语义。 IEEE交换与自动机理论研讨会，v.151974，63-77。 谷歌学者 数字图书馆 IFIP工作组2.1。 数据处理和运输小组委员会的报告——模式，以及分拣应用。 《藻类公报》AB 37.4.3。 （1971年5月）。 谷歌学者 数字图书馆 Jensen，K.和Wirth，N.Pascal用户手册和报告。 计算机科学课堂讲稿，v.18。 施普林格出版社，柏林，1974年。 谷歌学者 数字图书馆 模式的等价性和有限自动机的等价性。 Algol Bulletin AB 35.4.5（1973年3月）。 谷歌学者 数字图书馆 Lampson，B.W.等人，关于编程语言Euclid的报告。 SIGPLAN通告12、2（1977年2月）。 谷歌学者 数字图书馆 Lewis，C.H.和Rosen，B.K.递归定义数据类型，第一部分：美国计算机学会编程语言原理研讨会，马萨诸塞州波士顿，1973年。 谷歌学者 数字图书馆 Lindsey，C.H.Modals。 阿尔及利亚公告AB 37.4.3（1974年）。 谷歌学者 数字图书馆 Liskov，B.等人，《CLU中的抽象机制》。 M.I.T.计算结构小组备忘录144-1。 1977年1月。 谷歌学者 Rosen，B.K.和Lewis，C.H.递归定义的数据类型，第二部分。 报告RC 4713，IBM T.J.Watson研究中心，纽约约克敦高地，1974年。 谷歌学者 Solomon，M.模式、值和表达式。 第二届ACM编程语言原理研讨会，加利福尼亚州帕洛阿尔托，1975年，149-159年。 （另请参阅纽约州伊萨卡康奈尔大学计算机科学系技术报告TR 74-219，1974年）。 谷歌学者 数字图书馆 Solomon，M.关于带参数的类型定义。 DAIMI出版物PB-54。 奥胡斯大学，丹麦奥胡斯，1975年11月。 （也可作为编程语言实现中的理论问题的第一章获得。1977年6月，威斯康星大学麦迪逊分校计算机科学系，博士论文，技术报告300。） 谷歌学者 数字图书馆 Stearns，R.E.推出机器的规则性测试。 信息与控制11，3（1967年9月），323-340。 谷歌学者 交叉引用 
Valient，L.B.确定性有限回转下推自动机的等价问题。 《信息与控制》25，2（1974年6月），123-133。 谷歌学者 Wijngaarden，A.van等人，算法语言ALGOL 68的修订报告。 信息学报5（1975），1-236。 谷歌学者 数字图书馆 Wulf，W.A.、London，R.L.和Shaw，M.《阿尔法的抽象与验证：语言与方法论导论》。 技术报告，卡内基梅隆大学，1976年6月14日。 谷歌学者 交叉引用
建议
具有递归类型、类型参数和抽象类型的压缩签名 ICALP’13：第40届国际自动化、语言和编程会议记录——第二卷 虽然递归类型的等价或子类型理论已经被广泛研究，但递归类型和抽象类型之间的复杂交互很少受到关注。 递归类型的类型理论背后的关键思想。。。
