Edit Profile (opens in new tab) Huet, Gerard P. Co-Author Distance Author ID: huet.gerard-p Published as: Huet, Gérard; Huet, Gerard; Huet, G.; Huet, G. P.; Huet, Gerard P. more...less External Links: MGP · Wikidata · dblp · GND · IdRef · theses.fr Documents Indexed: 37 Publications since 1973 4 Contributions as Editor · 2 Further Contributions Co-Authors: 13 Co-Authors with 15 Joint Publications 380 Co-Co-Authors all top 5 Co-Authors 25 single-authored 4 Coquand, Thierry 2 Fages, François 2 Lang, Bernard 2 Levy, Jean-Jacques 2 Plotkin, Gordon D. 2 Razet, Benoît 1 Aho, Alfred Vaino 1 Autebert, Jean-Michel 1 Beauquier, Joffroy 1 Bertot, Yves 1 Bibel, Wolfgang 1 Biermann, Alan W. 1 Boasson, Luc 1 Book, Ronald Vernon 1 Brzozowski, Janusz Antoni 1 Culik, Karel II 1 Curien, Pierre-Louis 1 Delgrande, James P. 1 Donzeau-Gouge, Veronique 1 Engelfriet, Joost 1 Ginsburg, Seymour 1 Goldstine, Jonathan 1 Herbelin, Hugo 1 Hullot, Jean-Marie 1 Jorrand, Philippe 1 Jourrand, Ph. 1 Kahn, Gilles 1 Latteux, Michel 1 Monien, Burkhard 1 Mylopoulos, John 1 Nivat, Maurice 1 Oppen, Derek C. 1 Petit, Antoine C. 1 Rozenberg, Grzegorz 1 Salomaa, Arto Kustaa 1 Stickel, Mark E. 1 Sudborough, Ivan Hal all top 5 Serials 5 Theoretical Computer Science 3 MSCS. Mathematical Structures in Computer Science 3 Journal of Functional Programming 2 Journal of Computer and System Sciences 1 Acta Informatica 1 Information Processing Letters 1 Information and Control 1 Journal of the Association for Computing Machinery 1 Journal of Symbolic Computation 1 Information and Computation 1 Zapiski Nauchnykh Seminarov POMI 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Lecture Notes in Computer Science all top 5 Fields 37 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Mechanics of deformable solids (74-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 34 Publications have been cited 1,086 times in 903 Documents Cited by ▼ Year ▼ Confluent reductions: Abstract properties and applications to term rewriting systems. Zbl 0458.68007 Huet, Gerard 353 1980 The calculus of constructions. Zbl 0654.03045 Coquand, Thierry; Huet, Gérard 197 1988 A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027 Huet, G. P. 80 1975 Proofs by induction in equational theories with constructors. Zbl 0532.68041 Huet, Gérard; Hullot, Jean-Marie 59 1982 A complete proof of correctness of the Knuth-Bendix completion algorithm. Zbl 0465.68014 Huet, Gerard 53 1981 Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008 Huet, Gerard; Lang, Bernard 48 1978 A unification algorithm for typed \(\bar\lambda\)-calculus. Zbl 0332.02035 Huet, G. P. 47 1975 The Zipper. Zbl 0893.68014 Huet, Gérard 43 1997 Constructions: A higher order proof system for mechanizing mathematics. Zbl 0581.03007 Coquand, Thierry; Huet, Gérard 40 1985 Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002 Fages, François; Huet, Gérard 33 1986 The undecidability of unification in third order logic. Zbl 0257.02038 Huet, Gerard P. 26 1973 An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations. Zbl 0377.10011 Huet, Gerard 23 1978 Residual theory in \(\lambda\)-calculus: A formal development. Zbl 0826.03008 Huet, Gérard 18 1994 Complete sets of unifiers and matchers in equational theories. Zbl 0545.03003 Fages, François; Huet, Gérard 12 1983 Logical foundations of functional programming. Zbl 0709.68003 11 1990 Concepts mathématiques et informatiques formalisés dans le calcul des constructions. Zbl 0627.03045 Coquand, Thierry; Huet, Gérard 6 1987 An analysis of Böhm’s theorem. Zbl 0794.03022 Huet, Gérard 5 1993 Unification in typed lambda calculus. Zbl 0361.02037 Huet, Gerard 4 1975 30 years of research and development around Coq. Zbl 1284.68517 Huet, Gérard; Herbelin, Hugo 4 2014 A structure-oriented program editor: A first step towards computer assisted programming. Zbl 0321.68020 Donzeau-Gouge, V.; Huet, G.; Kahn, G.; Lang, B.; Levy, J. J. 3 1975 Logical environments. Zbl 0810.68059 3 1993 The reactive engine for modular transducers. Zbl 1132.68448 Huet, Gérard; Razet, Benoît 2 2006 Formal language theory. Perspectives and open problems. (Proceedings of a symposium held in Santa Barbara, California, December 10–14, 1979). Zbl 0545.68065 2 1980 Regular Böhm trees. Zbl 0923.03022 Huet, Gérard 2 1998 A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction. Zbl 0591.68036 Coquand, Thierry; Huet, Gérard 2 1985 A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger. Zbl 1086.68628 Huet, Gérard 2 2005 Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063 2 1991 Higher order unification 30 years later (Extended abstract). Zbl 1013.68541 Huet, Gérard 2 2002 Deduction and computation. Zbl 0634.68018 Huet, Gérard 1 1987 Induction principles formalized in the calculus of constructions. Zbl 0657.68013 Huet, Gérard 1 1988 Śrī, Yantra geometry. Zbl 1013.68270 Huet, Gérard 1 2002 From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004 1 2009 Axiomatisations, proofs, and formal specifications of algorithms: Commented case studies in the coq proof assistant. Zbl 0882.68131 Huet, Gérard 1 1997 Induction principles formalized in the calculus of constructions. Zbl 0624.68077 Huet, Gérard 1 1987 30 years of research and development around Coq. Zbl 1284.68517 Huet, Gérard; Herbelin, Hugo 4 2014 From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004 1 2009 The reactive engine for modular transducers. Zbl 1132.68448 Huet, Gérard; Razet, Benoît 2 2006 A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger. Zbl 1086.68628 Huet, Gérard 2 2005 Higher order unification 30 years later (Extended abstract). Zbl 1013.68541 Huet, Gérard 2 2002 Śrī, Yantra geometry. Zbl 1013.68270 Huet, Gérard 1 2002 Regular Böhm trees. Zbl 0923.03022 Huet, Gérard 2 1998 The Zipper. Zbl 0893.68014 Huet, Gérard 43 1997 Axiomatisations, proofs, and formal specifications of algorithms: Commented case studies in the coq proof assistant. Zbl 0882.68131 Huet, Gérard 1 1997 Residual theory in \(\lambda\)-calculus: A formal development. Zbl 0826.03008 Huet, Gérard 18 1994 An analysis of Böhm’s theorem. Zbl 0794.03022 Huet, Gérard 5 1993 Logical environments. Zbl 0810.68059 3 1993 Logical frameworks. Proceedings of the first annual workshop ”Logical frameworks: design, implementation and experiment”, held in Sophia- Antipolis, France, May 7-11, 1990. Zbl 0741.00063 2 1991 Logical foundations of functional programming. Zbl 0709.68003 11 1990 The calculus of constructions. Zbl 0654.03045 Coquand, Thierry; Huet, Gérard 197 1988 Induction principles formalized in the calculus of constructions. Zbl 0657.68013 Huet, Gérard 1 1988 Concepts mathématiques et informatiques formalisés dans le calcul des constructions. Zbl 0627.03045 Coquand, Thierry; Huet, Gérard 6 1987 Deduction and computation. Zbl 0634.68018 Huet, Gérard 1 1987 Induction principles formalized in the calculus of constructions. Zbl 0624.68077 Huet, Gérard 1 1987 Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002 Fages, François; Huet, Gérard 33 1986 Constructions: A higher order proof system for mechanizing mathematics. Zbl 0581.03007 Coquand, Thierry; Huet, Gérard 40 1985 A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction. Zbl 0591.68036 Coquand, Thierry; Huet, Gérard 2 1985 Complete sets of unifiers and matchers in equational theories. Zbl 0545.03003 Fages, François; Huet, Gérard 12 1983 Proofs by induction in equational theories with constructors. Zbl 0532.68041 Huet, Gérard; Hullot, Jean-Marie 59 1982 A complete proof of correctness of the Knuth-Bendix completion algorithm. Zbl 0465.68014 Huet, Gerard 53 1981 Confluent reductions: Abstract properties and applications to term rewriting systems. Zbl 0458.68007 Huet, Gerard 353 1980 Formal language theory. Perspectives and open problems. (Proceedings of a symposium held in Santa Barbara, California, December 10–14, 1979). Zbl 0545.68065 2 1980 Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008 Huet, Gerard; Lang, Bernard 48 1978 An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations. Zbl 0377.10011 Huet, Gerard 23 1978 A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027 Huet, G. P. 80 1975 A unification algorithm for typed \(\bar\lambda\)-calculus. Zbl 0332.02035 Huet, G. P. 47 1975 Unification in typed lambda calculus. Zbl 0361.02037 Huet, Gerard 4 1975 A structure-oriented program editor: A first step towards computer assisted programming. Zbl 0321.68020 Donzeau-Gouge, V.; Huet, G.; Kahn, G.; Lang, B.; Levy, J. J. 3 1975 The undecidability of unification in third order logic. Zbl 0257.02038 Huet, Gerard P. 26 1973 all cited Publications top 5 cited Publications all top 5 Cited by 968 Authors 13 Book, Ronald Vernon 13 Dershowitz, Nachum 12 Otto, Friedrich 11 Baader, Franz 11 Jouannaud, Jean-Pierre 11 Klop, Jan Willem 11 Narendran, Paliath 11 Nipkow, Tobias 11 Schmidt-Schauß, Manfred 10 Ayala-Rincón, Mauricio 10 Dowek, Gilles 10 Kirchner, Claude 9 Courcelle, Bruno 9 Miller, Dale Allen 8 Hermann, Miki 8 Huet, Gerard P. 8 Kamareddine, Fairouz D. 8 Kapur, Deepak 8 Meseguer Guaita, José 8 Middeldorp, Aart 8 Sénizergues, Géraud 8 van Oostrom, Vincent 7 Dougherty, Daniel J. 7 Farmer, William M. 7 Gallier, Jean H. 7 Kounalis, Emmanuel 7 Malbos, Philippe 7 Paulson, Lawrence Charles 7 Pfenning, Frank 7 Rusinowitch, Michaël 6 Bentkamp, Alexander 6 Bonacina, Maria Paola 6 Dufourd, Jean-François 6 Nadathur, Gopalan 6 Qian, Zhenyu 6 Snyder, Wayne 6 Vogler, Heiko 6 Vukmirović, Petar 5 Basin, David A. 5 Blanchette, Jasmin Christian 5 Blanqui, Frédéric 5 Fernández, Maribel 5 Ghani, Neil 5 Hirokawa, Nao 5 Hsiang, Jieh 5 Levy, Jordi 5 Plump, Detlef 5 Rabe, Florian 5 Seldin, Jonathan P. 5 Tourret, Sophie 5 Vágvölgyi, Sándor 5 Zhang, Hantao 4 Andrews, Peter B. 4 Atkey, Robert 4 Avenhaus, Jürgen 4 Bachmair, Leo 4 Bouhoula, Adel 4 Bove, Ana 4 Coquand, Thierry 4 Cavalcanti de Moura, Flávio Leonardo 4 Felgenhauer, Bertram 4 Felty, Amy P. 4 Hagiya, Masami 4 Honsell, Furio 4 Johann, Patricia 4 Kirchner, Hélène 4 Lescanne, Pierre 4 Nederpelt, Rob 4 Nutt, Werner 4 Plaisted, David Alan 4 Reddy, Uday S. 4 Scedrov, Andre 4 Smolka, Gert 4 Toyama, Yoshihito 4 Zankl, Harald 3 Abdulrab, Habib 3 Aït-Kaci, Hassan 3 Barbanera, Franco 3 Benzmüller, Christoph Ewald 3 Bündgen, Reinhard 3 Bürckert, Hans Jürgen 3 Christiansen, Henning 3 Cirstea, Horatiu 3 Constable, Robert Lee 3 Danvy, Olivier 3 Dauchet, Max 3 Dehlinger, Christophe 3 Denzinger, Jörg 3 Díaz-Caro, Alejandro 3 Diekert, Volker 3 Duggan, Dominic 3 Dupont, Benjamin 3 Dybjer, Peter 3 Endrullis, Jörg 3 Engelfriet, Joost 3 Frougny, Christiane 3 Fu, Yuxi 3 Ganzinger, Harald 3 Geuvers, Jan Herman 3 Goguen, Joseph Amadee ...and 868 more Authors all top 5 Cited in 96 Serials 181 Theoretical Computer Science 63 Journal of Symbolic Computation 46 Journal of Automated Reasoning 39 Information and Computation 24 MSCS. Mathematical Structures in Computer Science 22 Journal of Functional Programming 15 Information Processing Letters 15 Annals of Pure and Applied Logic 13 Formal Aspects of Computing 10 Logical Methods in Computer Science 9 Acta Informatica 9 Artificial Intelligence 9 Journal of Pure and Applied Algebra 9 Mathematical Systems Theory 8 The Journal of Symbolic Logic 8 Higher-Order and Symbolic Computation 8 Journal of Applied Logic 7 Journal of Computer Science and Technology 7 Applicable Algebra in Engineering, Communication and Computing 7 Annals of Mathematics and Artificial Intelligence 6 Journal of Computer and System Sciences 6 RAIRO, Informatique Théorique 6 Journal of Logical and Algebraic Methods in Programming 5 Theory and Practice of Logic Programming 5 ACM Transactions on Computational Logic 4 Cybernetics 4 RAIRO. Informatique Théorique et Applications 3 International Journal of Algebra and Computation 3 Fundamenta Informaticae 2 Computers & Mathematics with Applications 2 Fuzzy Sets and Systems 2 Information Sciences 2 Journal of Algebra 2 Mathematische Zeitschrift 2 Semigroup Forum 2 International Journal of Foundations of Computer Science 2 International Journal of Computer Mathematics 2 Pattern Recognition 2 Indagationes Mathematicae. New Series 2 Journal of Logic, Language and Information 2 Applied Categorical Structures 2 Theory of Computing Systems 2 The Journal of Logic and Algebraic Programming 2 Computer Languages, Systems & Structures 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 Journal of Mathematical Analysis and Applications 1 Journal of Mathematical Physics 1 Letters in Mathematical Physics 1 The Mathematical Intelligencer 1 Advances in Mathematics 1 Algebra and Logic 1 Algebra Universalis 1 BIT 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 International Journal of Computer & Information Sciences 1 Journal of Combinatorial Theory. Series A 1 Journal of the London Mathematical Society. Second Series 1 Journal of Philosophical Logic 1 Linguistics and Philosophy 1 Mathematics and Computers in Simulation 1 Memoirs of the American Mathematical Society 1 Notre Dame Journal of Formal Logic 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Siberian Mathematical Journal 1 Studia Logica 1 Synthese 1 Transactions of the American Mathematical Society 1 Science of Computer Programming 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Machine Learning 1 Computational Geometry 1 Bulletin of the American Mathematical Society. New Series 1 Archive for Mathematical Logic 1 Cybernetics and Systems Analysis 1 Journal of Algebraic Combinatorics 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 The Electronic Journal of Combinatorics 1 The Bulletin of Symbolic Logic 1 Theory and Applications of Categories 1 Journal of the ACM 1 LMS Journal of Computation and Mathematics 1 Algebraic & Geometric Topology 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 Algebra and Discrete Mathematics 1 Electronic Notes in Theoretical Computer Science 1 Logica Universalis 1 Tbilisi Mathematical Journal 1 Groups, Complexity, Cryptology 1 Journal of Formalized Reasoning 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 RAIRO. Theoretical Informatics and Applications 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 29 Fields 783 Computer science (68-XX) 409 Mathematical logic and foundations (03-XX) 53 Group theory and generalizations (20-XX) 35 Category theory; homological algebra (18-XX) 25 General algebraic systems (08-XX) 15 Combinatorics (05-XX) 10 Number theory (11-XX) 10 Associative rings and algebras (16-XX) 9 Commutative algebra (13-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 8 Algebraic topology (55-XX) 7 History and biography (01-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Nonassociative rings and algebras (17-XX) 4 Convex and discrete geometry (52-XX) 4 Manifolds and cell complexes (57-XX) 3 Numerical analysis (65-XX) 3 Quantum theory (81-XX) 3 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Geometry (51-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Mathematics education (97-XX) 1 Algebraic geometry (14-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.