皮埃尔·埃瓦里斯特·达甘 装饰品的精髓。 (英语) Zbl 1418.68032号 J.功能。程序。 27,论文编号e9,27 p.(2017).MSC公司:68甲18 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.-E.Dagand},J.Funct。程序。27,论文编号e9,27 p.(2017;Zbl 1418.68032) 全文: 内政部
托尔斯滕·阿滕柯奇;尼尔·加尼;彼得·汉考克;康诺·麦克布莱德;彼得·莫里斯 索引容器。 (英语) Zbl 1420.68032号 J.功能。程序。 25,论文编号e5,41 p.(2015).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch}等人,J.Funct。程序。25,论文编号e5,41 p.(2015;Zbl 1420.68032) 全文: 内政部
弗朗索瓦·波蒂埃 具有隐藏状态的类型和功能系统的语法正确性证明。 (英语) Zbl 1262.68031号 J.功能。程序。 23,第1期,38-144(2013).MSC公司:68甲18 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Pottier},J.Funct。程序。23、第1号、第38--144号(2013;Zbl 1262.68031) 全文: 内政部
托马斯·范诺特;亚历克谢·罗德里格斯·雅库舍夫;斯特凡·霍尔德曼;约翰·杰林;巴斯蒂安·海仁;何塞·佩德罗·马加莱斯 数据类型泛型重写的轻量级方法。 (英语) Zbl 1214.68189号 J.功能。程序。 20,编号3-4,375-413(2010).MSC公司:2012年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Van Noort}等人,J.Funct。程序。20,编号3--4,375--413(2010;Zbl 1214.68189) 全文: 内政部
温迪·维尔布鲁根;埃德斯科·德·弗里斯;亚瑟·休斯 正式的多型程序和证明。 (英语) Zbl 1208.68106号 J.功能。程序。 20,编号3-4,213-270(2010).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{W.Verbruggen}等人,J.Funct。程序。20,编号3--4,213--270(2010;Zbl 1208.68106) 全文: 内政部
汤姆·施里杰弗斯;彼得·斯塔基;菲利普·沃德勒 一元约束编程。 (英语) Zbl 1184.68166号 J.功能。程序。 19,第6期,663-697(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,J.Funct。程序。19,第6号,663--697(2009;Zbl 1184.68166) 全文: 内政部
J.Michael斯皮维 用于组合搜索的代数。 (英语) Zbl 1191.68454号 J.功能。程序。 19,第3-4号,469-487(2009).MSC公司:68卢比 68甲18 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Spivey},J.Funct。程序。19,编号3--4,469--487(2009;Zbl 1191.68454) 全文: 内政部
Benaissa,Zine-El-Abidine公司;丹尼尔·布里奥德;皮埃尔·莱斯坎;Jocelyne的Rouyer-Degli \(lambda-nu),一种保留强正规化的显式替换演算。 (英语) Zbl 0873.68108号 J.功能。程序。 6,第5期,699-722(1996).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.-E.-A.Benaissa}等人,J.Funct。程序。6,第5号,699--722(1996;Zbl 0873.68108) 全文: 内政部
法鲁兹卡马雷丁;罗伯·奈德佩尔特 Barendregt多维数据集中的规范类型和\(\Pi\)-转换。 (英语) Zbl 0854.03015号 J.功能。程序。 6,第2期,245-267(1996).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{R.Nederpelt},J.Funct。程序。6,第2号,245--267(1996;Zbl 0854.03015) 全文: 内政部
法鲁兹卡马雷丁;罗伯·奈德佩尔特 lambda演算中的精细化约简。 (英语) Zbl 0846.68057号 J.功能。程序。 5,第4期,637-651(1995).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{R.Nederpelt},J.Funct。程序。5,第4号,637--651(1995;Zbl 0846.68057) 全文: 内政部