皮埃尔·卢伊斯·居里;杰拉德·休特;安托万·佩蒂特 讣告：莫里斯·尼瓦特（1937-2017）。 （英语） Zbl 1409.01031号 牛。欧洲协会。计算。科学。EATCS公司 123, 17-18 (2017).MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}等人，公牛。欧洲协会。计算。科学。EATCS 123、17--18（2017；Zbl 1409.01031） 全文： 链接
杰拉德·休特;贝诺·拉泽特 使用关系机进行计算。 （英语） 兹比尔1364.68202 数学。结构。计算。科学。 27，第5期，807-826（2017）.MSC公司：2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}和\textit{B.Razet}，数学。结构。计算。科学。27，第5号，807--826（2017；Zbl 1364.68202） 全文： 内政部
杰拉德·休特;雨果·赫贝林 围绕Coq进行了30年的研究和开发。 （英语） Zbl 1284.68517号 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。249-249（2014年）。MSC公司：68吨15 68-03 68纳米30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}和\textit{H.Herbelin}，摘自：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。249-249（2014年；兹bl 1284.68517） 全文： 内政部
杰拉德·休特 专题前言：交互式定理证明和数学形式化。 （英语） Zbl 1276.03004号 数学。结构。计算。科学。 21，第4期，671-677（2011）.MSC公司：03-06 68-06 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，数学。结构。计算。科学。21，第4号，671--677（2011；Zbl 1276.03004） 全文： 内政部
杰拉德·休特;贝诺·拉泽特 模块化传感器的反应式发动机。 （英语） 兹比尔1132.68448 Futatsugi，Kokichi（编辑）等人，《代数、意义和计算》。在约瑟夫·A·戈根65岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-35462-X/pbk）。计算机科学课堂讲稿4060355-374（2006）。MSC公司：65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}和\textit{B.Razet}，莱克特。注释计算。科学。4060355--374（2006年；Zbl 1132.68448） 全文： 内政部
基塞列夫，A.P。;Huet，G。;德尚，M。 弹性体波附加分量中的波形。 （英语） 邮编1096.74030 扎普。诺什。塞明。POMI公司 332，90-98（2006年）和J.数学。科学。，纽约142，第6期，2571-2575（2007）。MSC公司：74J10型 74年第35季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Kiselev}等人，扎普。诺什。塞明。POMI 332、90-98（2006年；Zbl 1096.74030） 全文： 内政部 MNR公司
杰拉德·休特 一个用于形态和语音处理的功能工具包，应用于梵语标记器。 （英语） Zbl 1086.68628号 J.功能。程序。 15，第4期，573-614（2005）.MSC公司：68T50型 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，J.Funct。程序。15，第4号，573--614（2005；Zbl 1086.68628） 全文： 内政部
杰拉德·休特 自动机迷雾。 （英语） Zbl 1274.68051号 Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772359-372（2003）。MSC公司：68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，莱克特。注释计算。科学。2772359--372（2003年；Zbl 1274.68051） 全文： 内政部
杰拉德·休特 线性上下文，共享函子：符号计算技术。 （英语） Zbl 1063.68109号 Kamaredine，Fairouz D.（编辑），《自动化数学35年》。致力于德布鲁因自动化35年。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-1656-5/hbk）。应用逻辑系列28，49-69（2003）。MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，应用。日志。序列号。28、49——69（2003年；Zbl 1063.68109）
杰拉德·休特 禅宗与符号计算艺术：计算语言学的轻量级快速应用算法。 （英语） Zbl 1026.68779号 Dahl，Veronica（编辑）等人，声明性语言的实践方面。第五届国际研讨会，2003年PADL，美国洛杉矶新奥尔良，2003年1月13日至14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2562, 17-18 (2002).MSC公司：68单位99 68T50型 68瓦30 68甲18 PDF格式BibTeX公司 XML格式引用 \文本｛G.Huet｝，Lect。注释计算。科学。2562、17--18（2002年；Zbl 1026.68779） 全文： 链接
杰拉德·休特 30年后的高阶统一（扩展抽象）。 （英语） Zbl 1013.68541号 Carreño，Victor A.（编辑）等人，《高阶逻辑中的定理证明》。2002年8月20日至23日在美国弗吉尼亚州汉普顿举行的第15届TPHOLs 2002国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2410, 3-12 (2002).MSC公司：68吨15 03B35型 68纳米30 68T50型 68-03 2002年8月 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，莱克特。注释计算。科学。2410，3--12（2002；Zbl 1013.68541） 全文： 链接
杰拉德·休特 Śré，Yantra几何学。 （英语） Zbl 1013.68270号 西奥。计算。科学。 281，编号1-2，609-628（2002）.MSC公司：68单位05 PDF格式BibTeX公司 XML格式引用 \文本{G.Huet}，Theor。计算。科学。281，编号1--2，609--628（2002；Zbl 1013.68270） 全文： 内政部
杰拉德·休特 普通的博姆树。 （英语） Zbl 0923.03022号 数学。结构。计算。科学。 8，第6号，671-680（1998）.MSC公司：03B40型 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，数学。结构。计算。科学。8，第6号，671--680（1998；Zbl 0923.03022） 全文： 内政部
杰拉德·休特 拉链。 （英语） Zbl 0893.68014号 J.功能。程序。 7，第5号，549-554（1997）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，J.Funct。程序。7，第5号，549--554（1997；Zbl 0893.68014） 全文： 内政部
杰拉德·休特 公理化、证明和算法的形式规范：coq证明助手中的评论案例研究。 （英语） Zbl 0882.68131号 Schwichtenberg，Helmut（编辑），《计算逻辑》。北约ASI会议记录。德国马克托伯多夫。1995年7月25日至8月6日。柏林：斯普林格。北约ASI系列。，序列号。F、 计算。系统。科学。157, 157-199 (1997).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，北约ASI Ser。，序列号。F、 计算。系统。科学。157、157--199（1997；Zbl 0882.68131）
杰拉德·休特 （lambda）-演算中的剩余理论：一种形式化的发展。 （英语） Zbl 0826.03008号 J.功能。程序。 4，第3期，371-394（1994）. 审核人：R.David（香槟） MSC公司：03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，J.Funct。程序。4，第3号，371--394（1994；Zbl 0826.03008） 全文： 内政部
杰拉德·休特 Böhm定理的分析。 （英语） Zbl 0794.03022号 西奥。计算。科学。 121，编号1-2，145-167（1993）.MSC公司：03B40型 68甲15 PDF格式BibTeX公司 XML格式引用 \文本{G.Huet}，Theor。计算。科学。121，编号1--2，145-167（1993；Zbl 0794.03022） 全文： 内政部
杰拉德·休特 归纳原理在构造演算中形式化。 （英语） Zbl 0657.68013号 未来一代计算机编程。Fr.1日-日本。交响乐团。，东京/日本。1986, 205-216 (1988). 审核人：H.卢锡安 MSC公司：60年第68季度 03B70号 68问题55 68问题65 PDF格式BibTeX公司 XML格式
可口、蒂埃里;杰拉德·休特 结构微积分。 （英语） Zbl 0654.03045号 Inf.计算。 76，编号2-3，95-120（1988）. 审核人：T.可口可乐 MSC公司：第03页第35页 03B40型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}和\textit{G.Huet}，信息计算。76，编号2--3，95-120（1988；Zbl 0654.03045） 全文： 内政部
杰拉德·休特 扣除和计算。 （英语） 兹比尔0634.68018 程序设计逻辑和离散设计计算。北约高级研究所，Marktoberdorf/FRG 1986，NATO ASI Ser。，序列号。F 36，305-342（1987）。 审核人：R.霍斯 MSC公司：68问题65 PDF格式BibTeX公司 XML格式
可口、蒂埃里;杰拉德·休特 概念数学与信息形式计算结构。 （法语） Zbl 0627.03045号 逻辑配置'85，Proc。Colloq.，Orsay/France 1985，《发现逻辑研究》。数学。122, 123-146 (1987).MSC公司：03F99型 68问题65 PDF格式BibTeX公司 XML格式
杰拉德·休特 归纳原理在构造演算中形式化。 （英语） Zbl 0624.68077号 TAPSOFT’87，程序。国际Conf.软件开发，比萨/意大利1987年，第1卷：代数和编程树，Lect。注释计算。科学。249, 276-286 (1987).MSC公司：68吨15 03B35型 68N99型 PDF格式BibTeX公司 XML格式
弗朗索瓦·法赫斯;杰拉德·休特 方程理论中的整套统一器和匹配器。 （英语） Zbl 0615.03002号 西奥。计算。科学。 43, 189-200 (1986). 审核人：V.Cţlm෧uianu MSC公司：03B35型 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Fages}和\textit{G.Huet}，Theor。计算。科学。43、189--200（1986年；Zbl 0615.03002） 全文： 内政部
杰拉德·休特 笛卡尔闭范畴和lambda-calculus。 （英语） Zbl 0609.18002号 组合器和函数式编程语言，Proc。13号春季附表。LITP，Val d'Ajol/法国1985，Lect。注释计算。科学。242, 123-135 (1986). 审核人：路易吉·费拉里码头（亚历山德里亚） MSC公司：18立方厘米05 18日第15天 03B40型 18A30型 03C05号机组 PDF格式BibTeX公司 XML格式
可口、蒂埃里;杰拉德·休特 关于构造数学、直觉主义类型理论和高阶演绎的精选参考书目。 （英语） Zbl 0591.68036号 J.塞姆。计算。 1, 323-328 (1985).MSC公司：68问题65 60年第68季度 03月xx日 03B35型 03B15号机组 03B40型 03楼55 68吨15 00A15年 PDF格式BibTeX公司 XML格式引用 \textit｛T.Coquand｝和\textit｛G.Huet｝，J.Symb。计算。1323--328（1985；Zbl 0591.68036） 全文： 内政部
可口、蒂埃里;杰拉德·休特 构造：数学机械化的高阶证明系统。 （英语） Zbl 0581.03007号 计算机代数，EUROCAL’85，Proc。欧洲会议，林茨/奥地利，1985年，第1卷，Lect。注释计算。科学。203, 151-184 (1985). 审核人：J.兹拉图斯卡 MSC公司：03B35型 03B40型 03B15号机组 68吨15 03楼50 68问题65 03楼55 PDF格式BibTeX公司 XML格式
弗朗索瓦·法赫斯;杰拉德·休特 方程理论中的整套统一器和匹配器。 （英语） Zbl 0545.03003号 代数和编程树，CAAP’83，Proc。第八次座谈会，拉奎拉/意大利，1983年，勒克特。注释计算。科学。159, 205-220 (1983). 审核人：K.波托夫 MSC公司：03B35型 PDF格式BibTeX公司 XML格式
杰拉德·休特;Hullot，让-玛丽 用构造器在方程理论中通过归纳法证明。 （英语） Zbl 0532.68041号 J.计算。系统。科学。 25, 239-266 (1982).MSC公司：68问题65 08B05号 68号01 08-04 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}和\textit{J.-M.Hullot}，J.Compute。系统。科学。25239--266（1982；Zbl 0532.68041） 全文： 内政部
杰拉德·休特 Knuth-Bendix补全算法正确性的完整证明。 （英语） Zbl 0465.68014号 J.计算。系统。科学。 1981年11月23日至21日.MSC公司：68瓦99 03B25号 08A99号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，J.计算。系统。科学。23、11--21（1981年；Zbl 0465.68014） 全文： 内政部 链接
杰拉德·休特 合流约简：术语重写系统的抽象属性和应用。 （英语） Zbl 0458.68007号 J.助理计算。机器。 27, 797-821 (1980).MSC公司：68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，J.协会计算。机器。279797-821（1980年；Zbl 0458.68007） 全文： 内政部
杰拉德·休特;伯纳德·朗 证明并应用用二阶模式表示的程序变换。 （英语） Zbl 0389.68008号 学报信息。 11, 31-55 (1978).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}和\textit{B.Lang}，《信息学报》11，31--55（1978；Zbl 0389.68008） 全文： 内政部
杰拉德·休特 生成齐次线性丢番图方程解的基础的算法。 （英语） Zbl 0377.10011号 信息处理。莱特。 7, 144-147 (1978).MSC公司：2004年11月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Huet}，Inf.过程。莱特。7144-147（1978年；Zbl 0377.10011） 全文： 内政部
杰拉德·休特 类型lambda演算中的统一。 （英语） Zbl 0361.02037号 \（\lambda\）-计算。科学。理论，程序。交响乐团。，罗马1975年，Lect。注释计算。科学。第37192-212页（1975年）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式
休特，G.P。 类型化演算的统一算法。 （英语） Zbl 0337.68027号 西奥。计算。科学。 1, 27-57 (1975).MSC公司：68瓦30 68瓦99 65年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{G.P.Huet}，Theor。计算。科学。1、27-57（1975年；Zbl 0337.68027） 全文： 内政部
休特，G.P。 类型化\（\bar\lambda \）演算的统一算法。 （英语） Zbl 0332.02035号 西奥。计算。科学。 1, 27-57 (1975).MSC公司：03B40型 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{G.P.Huet}，Theor。计算。科学。1、27-57（1975；Zbl 0332.02035） 全文： 内政部
Donzeau-Gouge，V。;Huet，G。;G.卡恩。;B.朗。;利维，J.J。 面向结构的程序编辑器：走向计算机辅助编程的第一步。 （英语） Zbl 0321.68020号 国际计算。交响乐团。1975年，Proc。，《抗体》，113-120（1975）。MSC公司：68号01 PDF格式BibTeX公司 XML格式
杰拉德·P·休特。 三阶逻辑中统一的不确定性。 （英语） 兹比尔0257.02038 通知。和控制 22, 257-267 (1973).MSC公司：03B25号 68吨15 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.P.Huet}，Inf.Control公司22，257--267（1973；Zbl 0257.02038） 全文： 内政部