周耀达;布鲁诺·C·d·S·奥利维拉。;范安东 具有递归类型、记录串联和子类型的演算。 （英文） Zbl 1524.68107号 谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 175-195 (2022).MSC公司：68号30 68甲18 68版本20 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Zhou｝等人，Lect。注释计算。科学。13658、175--195（2022年；Zbl 1524.68107） 全文： 内政部
伦纳特·贝林格 已验证的软件单元。 （英文） Zbl 1473.68035号 Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12648, 118-147 (2021).MSC公司：68甲15 03B70号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}，莱克特。注释计算。科学。12648118-147（2021年；Zbl 1473.68035） 全文： 内政部
鲁本·罗伊，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） 全文： 内政部
斯特凡·韦尔;彼得·蒂曼 具有有界存在类型和实现约束的子类型的可判定性。 （英文） Zbl 1251.68075号 新一代计算。 29，第1期，87-124（2011）.MSC公司：第68页第19页 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wehr}和\textit{P.Thiemann}，新一代计算。29，第1号，87-124（2011；Zbl 1251.68075） 全文： 内政部
张建红;王玉敏 两个可证明安全的不经意传输方案。 （英文） Zbl 1081.94036号 申请。数学。计算。 169，第2期，1211-1220（2005）.MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}和\textit{Y.Wang}，应用。数学。计算。169，第2号，1211--1220（2005；Zbl 1081.94036） 全文： 内政部
Atsushi Igarashi;本杰明·皮尔斯。 虚拟类型的基础。 （英文） 兹比尔1012.68042 Inf.计算。 175，第1期，34-49（2002）.MSC公司：第68页第19页 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Igarashi}和\textit{B.C.Pierce}，Inf.Comput。175，第1号，34-49（2002；Zbl 1012.68042） 全文： 内政部
马丁·霍夫曼;本杰明·皮尔斯。 类型析构函数。 （英文） Zbl 1026.68022号 Inf.计算。 172，第1号，29-62（2002）.MSC公司：第68页第19页 68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{B.C.Pierce}，Inf.Compute。172，编号1，29--62（2002；Zbl 1026.68022） 全文： 内政部 链接
维维亚娜·博诺;伊万诺·萨尔沃 面向对象语言的CuCh解释。 （英文） Zbl 1261.68042号 利维，Jean-Jacques（编辑），BOTH 2001–Böhm定理：计算机科学理论的应用。2001年7月13日在希腊克里特岛举行的第28届自动控制、语言和编程国际学术讨论会（ICALP 2001）的四个卫星研讨会之一的会议记录。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第2期，159-177（2001）。MSC公司：68甲18 03B40型 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{V.Bono和\textit{I.Salvo}，电子。注释Theor。计算。科学。50，第2号，159--177（2001；Zbl 1261.68042） 全文： 内政部
Joaquín Mateos，拉戈;马里奥·罗德里格斯·阿塔莱霍 具有遗传继承的面向对象编程的声明性框架。 （英文） Zbl 0992.68025号 西奥。计算。科学。 269，编号1-2363-417（2001）.MSC公司：第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Lago}和\textit{M.R.Artalejo}，Theor。计算。科学。269，编号1--2，363--417（2001；Zbl 0992.68025） 全文： 内政部
保罗·巴尔丹;乔治·盖利;亚历山德拉·拉斐塔 有界量化的基本理论。 （英文） Zbl 1045.68524号 Inf.计算。 153，第2期，173-237（1999）.MSC公司：68甲18 03B40型 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，《信息计算》。153，第2号，173--237（1999；Zbl 1045.68524） 全文： 内政部