周耀达；布鲁诺·C·d·S·奥利维拉。；范安东 具有递归类型、记录串联和子类型的演算。 （英语） Zbl 1524.68107号 谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13658, 175-195 (2022).MSC公司：68号30 68甲18 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhou}等人，Lect。票据计算。科学。13658、175--195（2022年；Zbl 1524.68107） 全文： 内政部
阿卜杜勒·加瓦德（Abdel Gawad，Moez A.）。 名义上类型的面向对象编程的域理论模型。 （英语） Zbl 1337.68059号 刘英明（编）等，第六届领域理论及其应用国际研讨会论文集，长沙，中国，2013年10月25-29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记301，3-19，仅电子版（2014）。MSC公司：68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.A.AbdelGawad}，电子。注释Theor。计算。科学。301、3-19（2014年；Zbl 1337.68059） 全文： 内政部
鲁本·罗伊，N.S。；范·贝克尔，S.J。 Featherweight Java的语义类型和近似。 （英语） Zbl 1358.68180号 西奥。计算。科学。 517, 34-74 (2014).MSC公司：第68季度55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.N.S.Rowe}和\textit{S.J.van Bakel}，Theor。计算。科学。517、34--74（2014年；Zbl 1358.68180） 全文： 内政部
汤姆·赫肖维茨；泽维尔·勒罗伊；威尔斯，J.B。 在按调用值函数语言中编译扩展递归。 （英语） Zbl 1183.68140号 高-订购符号。计算。 22，第1期，3-66页（2009年）.MSC公司：68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hirschowitz}等人，高-订购符号。计算。22，第1、3--66号（2009年；Zbl 1183.68140） 全文： 内政部 arXiv公司
美国雷迪。 类Algol语言中的对象和类。 （英语） Zbl 1009.68021号 Inf.计算。 172，第1期，63-97（2002）.MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{美国红}，Inf.Comput。172，编号1，63--97（2002；Zbl 1009.68021） 全文： 内政部 链接
布鲁斯（Kim B.Bruce）。；卢卡·卡德利；本杰明·皮尔斯。 比较对象编码。 （英语） Zbl 1045.68528号 Inf.计算。 155，编号1-2，108-133（1999）.MSC公司：68甲19 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.B.Bruce}等人，《信息计算》。155，编号1--2，108-133（1999；Zbl 1045.68528） 全文： 内政部
瓦列里·特里福诺夫；斯科特·史密斯 子类型化约束类型。 （英语） Zbl 1482.68096号 Cousot，Radhia（编辑）等人，《静态分析》。1996年9月24日至26日，第三届国际研讨会，SAS’96，德国亚琛。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1145, 349-365 (1996).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Trifonov}和\textit{S.Smith}，Lect。票据计算。科学。1145349-365（1996年；Zbl 1482.68096） 全文： 内政部
瞿玉忠；王志坚；徐家福 简单埃菲尔模型的指称语义。 （英语） Zbl 0837.68065号 J.计算。科学。Technol公司。 10，第3期，214-226（1995）.MSC公司：第68季度55 PDF格式BibTeX公司 XML格式引用 \文本{Y.Qu}等人，J.Comput。科学。Technol公司。10，编号3，214--226（1995；Zbl 0837.68065） 全文： 内政部
安德烈亚斯·亨斯（Andreas V.Hense）。；格特·斯莫尔卡 一种具有主类型的记录微积分。 （英语） Zbl 1495.68027号 Jouannaud，Jean-Pierre（编辑），计算逻辑中的约束。1994年9月7日至9日在德国慕尼黑举行的1994年CCL第一届国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。845, 219-236 (1994).MSC公司：68甲15 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Hense}和\textit{G.Smolka}，莱克特。票据计算。科学。845，219--236（1994；Zbl 1495.68027） 全文： 内政部
钱振宇 具有子类型的高阶类型的代数语义。 （英语） Zbl 0790.68079号 学报信息。 30，第6号，569-607（1993）.MSC公司：68问题65 60年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian}，《学报》第30期，第6期，第569-607页（1993；Zbl 0790.68079） 全文： 内政部
约瑟夫·戈根（Joseph A.Goguen）。；何塞·梅塞格尔 有序代数。一： 多重继承、重载、异常和部分操作的等式推导。 （英语） Zbl 0778.68056号 西奥。计算。科学。 105，第2期，217-273（1992）. 审核人：S.Bloom（霍博肯） MSC公司：第68季度55 08A70号 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{J.Meseguer}，Theor。计算。科学。105，第2号，217--273（1992；Zbl 0778.68056） 全文： 内政部
斯科特·丹福思；帕特里克·瓦尔杜里兹 数据库编程语言FAD的数据模型。 （英语） Zbl 0764.68009号 信息科学。 60，第1-2号，第51-75页（1992年）.MSC公司：68甲15 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Danforth}和\textit{P.Valduriez}，信息科学。60，编号1--2，51-75（1992；Zbl 0764.68009） 全文： 内政部
Owe、Olaf；Ole-Johan达尔 有序代数中的生成器归纳法。 （英语） Zbl 0712.68068号 形式方面计算。 3，第1期，2-20（1991年）.MSC公司：68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛O.Owe｝和\textit｛O.-J.Dahl｝，正式Asp。计算。3，编号1，2--20（1991；Zbl 0712.68068） 全文： 内政部
赫尔曼·鲍尔斯特；马滕·福克加（Maarten M.Fokkinga）。 子类型可以有一个简单的语义。 （英语） Zbl 0758.68042号 西奥。计算。科学。 87，第1期，81-96（1991）. 审核人：J.C.Mitchell（斯坦福） MSC公司：第68季度55 68甲15 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Balsters}和\textit{M.M.Fokkinga}，Theor。计算。科学。87，编号1，81--96（1991；Zbl 0758.68042） 全文： 内政部
瓦尔省布雷祖·坦南；可口、蒂埃里；卡尔·A·冈特。；安德烈·斯克洛夫 继承作为隐式强制。 （英语） Zbl 0799.68129号 Inf.计算。 93，第1期，172-221（1991）.MSC公司：第68季度55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{V.Breazu-Tannen}等人，《信息计算》。93，第1号，172--221（1991；Zbl 0799.68129） 全文： 内政部 链接
钱振宇 高阶有序代数。 （英语） Zbl 1493.68093号 Kirchner，Hélène（编辑）等人，《代数和逻辑编程》。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。463, 86-100 (1990).MSC公司：68甲18 03B70号 08A70号 第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian}，莱克特。票据计算。科学。463，86-100（1990年；Zbl 1493.68093） 全文： 内政部
Atsushi Ohori 数据库对象的类型的语义。 （英语） Zbl 0702.68048号 西奥。计算。科学。 76，No.1，53-91（1990）.MSC公司：第68页，共15页 68甲15 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{A.Ohori}，Theor。计算。科学。76，编号1，53--91（1990；Zbl 0702.68048） 全文： 内政部 链接
卡尔·A·冈特。；阿希姆·荣格 领域的一致性和一致性。 （英语） Zbl 0686.68062号 J.纯应用。代数 63，No.1，49-66（1990）.MSC公司：第68季度55 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Gunter}和\textit{A.Jung}，J.Pure Appl。代数63，No.1，49--66（1990；Zbl 0686.68062） 全文： 内政部
谢克曼，Jörg H。 统一理论。 （英语） Zbl 0678.68098号 J.塞姆。计算。 7，编号3-4，207-274（1989）.MSC公司：68吨15 68问题65 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Siekmann}，J.Symb。计算。7，编号3--4，207--274（1989；Zbl 0678.68098） 全文： 内政部
格特·斯莫尔卡；哈桑·艾特·卡奇 继承层次：语义和统一。 （英语） Zbl 0678.68009号 J.塞姆。计算。 7，编号3-4，343-370（1989）.MSC公司：60年第68季度 68吨15 68瓦30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Smolka}和\textit{H.Ait-Kaci}，J.Symb。计算。7，编号3--4，343--370（1989；Zbl 0678.68009） 全文： 内政部
E·穆德。；冯·索姆斯（Von Solms），S.H。 类自动机模型中的多重继承。 （英语） Zbl 0677.68084号 国际期刊计算。数学。 30，编号3-4，143-164（1989）.MSC公司：65年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Mulder}和\textit{S.H.Von Solms}，国际计算机杂志。数学。30，编号3--4，143-164（1989；Zbl 0677.68084） 全文： 内政部
灯具，B。；R.伯斯托尔。 Pebble是一种用于模块和抽象数据类型的内核语言。 （英语） Zbl 0646.68018号 Inf.计算。 76，编号2-3，278-346（1988）.MSC公司：68第05页 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Lampson}和\textit{R.Burstall}，信息计算。76，编号2--3，278--346（1988；Zbl 0646.68018） 全文： 内政部
阿尔特·卡奇，哈桑 有效求解类型方程的代数语义方法。 （英语） Zbl 0628.68010号 西奥。计算。科学。 45, 293-351 (1986).MSC公司：60年第68季度 68吨15 68号01 PDF格式BibTeX公司 XML格式引用 \文本{H.Ait-Kaci}，Theor。计算。科学。45、293--351（1986年；Zbl 0628.68010） 全文： 内政部