×

zbMATH — the first resource for mathematics

Huet, Gerard P.

Compute Distance To:
Author ID: huet.gerard-p Recent zbMATH articles by "Huet, Gerard P."
Published as: Huet; Huet, G.; Huet, G. P.; Huet, Gerard; Huet, Gerard P.; Huet, Gérard
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 42 Publications since 1966, including 4 Books

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 866 times in 682 Documents Cited by Year
Confluent reductions: Abstract properties and applications to term rewriting systems. Zbl 0458.68007
Huet, Gerard
267
1980
The calculus of constructions. Zbl 0654.03045
Coquand, Thierry; Huet, Gérard
141
1988
A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027
Huet, G. P.
68
1975
A unification algorithm for typed \(\bar\lambda\)-calculus. Zbl 0332.02035
Huet, G. P.
61
1975
Proofs by induction in equational theories with constructors. Zbl 0532.68041
Huet, Gérard; Hullot, Jean-Marie
55
1982
The Zipper. Zbl 0893.68014
Huet, Gérard
35
1997
Constructions: A higher order proof system for mechanizing mathematics. Zbl 0581.03007
Coquand, Thierry; Huet, Gérard
35
1985
A complete proof of correctness of the Knuth-Bendix completion algorithm. Zbl 0465.68014
Huet, Gerard
35
1981
Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008
Huet, Gerard; Lang, Bernard
35
1978
Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002
Fages, François; Huet, Gérard
24
1986
The undecidability of unification in third order logic. Zbl 0257.02038
Huet, Gerard P.
23
1973
An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations. Zbl 0377.10011
Huet, Gerard
21
1978
Residual theory in \(\lambda\)-calculus: A formal development. Zbl 0826.03008
Huet, Gérard
14
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
Huet, Gerard (ed.)
7
1990
An analysis of Böhm’s theorem. Zbl 0794.03022
Huet, Gérard
5
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
Huet, Gérard (ed.); Plotkin, Gordon (ed.)
4
1991
Concepts mathématiques et informatiques formalisés dans le calcul des constructions. Zbl 0627.03045
Coquand, Thierry; Huet, Gérard
4
1987
Unification in typed lambda calculus. Zbl 0361.02037
Huet, Gerard
3
1975
30 years of research and development around Coq. Zbl 1284.68517
Huet, Gérard; Herbelin, Hugo
2
2014
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
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.
2
1975
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
Bertot, Yves (ed.); Huet, Gérard (ed.); Lévy, Jean-Jacques (ed.); Plotkin, Gordon (ed.)
1
2009
Regular Böhm trees. Zbl 0923.03022
Huet, Gérard
1
1998
Logical environments. Zbl 0810.68059
Huet, Gérard (ed.)
1
1993
Induction principles formalized in the calculus of constructions. Zbl 0657.68013
Huet, Gérard
1
1988
Deduction and computation. Zbl 0634.68018
Huet, Gérard
1
1987
Cartesian closed categories and lambda-calculus. Zbl 0609.18002
Huet, Gérard
1
1986
A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction. Zbl 0591.68036
Coquand, Thierry; Huet, Gérard
1
1985
30 years of research and development around Coq. Zbl 1284.68517
Huet, Gérard; Herbelin, Hugo
2
2014
From semantics to computer science. Essays in honour of Gilles Kahn. Zbl 1177.68004
Bertot, Yves (ed.); Huet, Gérard (ed.); Lévy, Jean-Jacques (ed.); Plotkin, Gordon (ed.)
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
Regular Böhm trees. Zbl 0923.03022
Huet, Gérard
1
1998
The Zipper. Zbl 0893.68014
Huet, Gérard
35
1997
Residual theory in \(\lambda\)-calculus: A formal development. Zbl 0826.03008
Huet, Gérard
14
1994
An analysis of Böhm’s theorem. Zbl 0794.03022
Huet, Gérard
5
1993
Logical environments. Zbl 0810.68059
Huet, Gérard (ed.)
1
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
Huet, Gérard (ed.); Plotkin, Gordon (ed.)
4
1991
Logical foundations of functional programming. Zbl 0709.68003
Huet, Gerard (ed.)
7
1990
The calculus of constructions. Zbl 0654.03045
Coquand, Thierry; Huet, Gérard
141
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
4
1987
Deduction and computation. Zbl 0634.68018
Huet, Gérard
1
1987
Complete sets of unifiers and matchers in equational theories. Zbl 0615.03002
Fages, François; Huet, Gérard
24
1986
Cartesian closed categories and lambda-calculus. Zbl 0609.18002
Huet, Gérard
1
1986
Constructions: A higher order proof system for mechanizing mathematics. Zbl 0581.03007
Coquand, Thierry; Huet, Gérard
35
1985
A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction. Zbl 0591.68036
Coquand, Thierry; Huet, Gérard
1
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
55
1982
A complete proof of correctness of the Knuth-Bendix completion algorithm. Zbl 0465.68014
Huet, Gerard
35
1981
Confluent reductions: Abstract properties and applications to term rewriting systems. Zbl 0458.68007
Huet, Gerard
267
1980
Proving and applying program transformations expressed with second-order patterns. Zbl 0389.68008
Huet, Gerard; Lang, Bernard
35
1978
An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations. Zbl 0377.10011
Huet, Gerard
21
1978
A unification algorithm for typed \(\overline\lambda\)-calculus. Zbl 0337.68027
Huet, G. P.
68
1975
A unification algorithm for typed \(\bar\lambda\)-calculus. Zbl 0332.02035
Huet, G. P.
61
1975
Unification in typed lambda calculus. Zbl 0361.02037
Huet, Gerard
3
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.
2
1975
The undecidability of unification in third order logic. Zbl 0257.02038
Huet, Gerard P.
23
1973
all top 5

Cited by 804 Authors

12 Book, Ronald Vernon
12 Otto, Friedrich
11 Schmidt-Schauß, Manfred
10 Ayala-Rincón, Mauricio
10 Narendran, Paliath
9 Courcelle, Bruno
9 Dershowitz, Nachum
9 Kirchner, Claude
8 Huet, Gerard P.
8 Jouannaud, Jean-Pierre
8 Kamareddine, Fairouz D.
7 Gallier, Jean H.
7 Kapur, Deepak
7 Klop, Jan Willem
7 Meseguer Guaita, José
7 Middeldorp, Aart
7 Paulson, Lawrence Charles
7 Sénizergues, Géraud
7 van Oostrom, Vincent
6 Dougherty, Daniel J.
6 Dufourd, Jean-François
6 Farmer, William M.
6 Fernández, Maribel
6 Kounalis, Emmanuel
6 Miller, Dale Allen
6 Nadathur, Gopalan
6 Nipkow, Tobias
6 Vogler, Heiko
5 Baader, Franz
5 Dowek, Gilles
5 Rabe, Florian
5 Rusinowitch, Michaël
4 Basin, David A.
4 Blanqui, Frédéric
4 Bouhoula, Adel
4 Bove, Ana
4 Coquand, Thierry
4 Cavalcanti de Moura, Flávio Leonardo
4 Felgenhauer, Bertram
4 Ghani, Neil
4 Hermann, Miki
4 Honsell, Furio
4 Hsiang, Jieh
4 Johann, Patricia
4 Lescanne, Pierre
4 Plaisted, David Alan
4 Rocha-Oliveira, Ana Cristina
4 Seldin, Jonathan P.
4 Siekmann, Jörg H.
4 Snyder, Wayne
4 Vágvölgyi, Sándor
4 Wrathall, Celia
4 Zankl, Harald
4 Zhang, Hantao
3 Aït-Kaci, Hassan
3 Andrews, Peter B.
3 Atkey, Robert
3 Bachmair, Leo
3 Bürckert, Hans Jürgen
3 Cirstea, Horatiu
3 Danvy, Olivier
3 Dehlinger, Christophe
3 Duggan, Dominic
3 Endrullis, Jörg
3 Engelfriet, Joost
3 Felty, Amy P.
3 Fu, Yuxi
3 Fülöp, Zoltán
3 Kaplan, Stéphane
3 Kirchner, Hélène
3 Kohlhase, Michael
3 Kolaitis, Phokion G.
3 Le Chenadec, Philippe
3 Lindley, Sam
3 Luo, Zhaohui
3 Malbos, Philippe
3 Métivier, Yves
3 Nederpelt, Rob
3 Nutt, Werner
3 Okada, Mitsuhiro
3 Pfenning, Frank
3 Reddy, Uday S.
3 Smolka, Gert
3 Spitters, Bas
3 Squier, Craig C.
3 Thatte, Satish R.
2 Abdulrab, Habib
2 Anderson, Penny
2 Ariola, Zena M.
2 Avenhaus, Jürgen
2 Backhouse, Roland C.
2 Badouel, Eric
2 Baral, Chitta R.
2 Barbanera, Franco
2 Bauer, Günther
2 Benzmüller, Christoph Ewald
2 Berardi, Stefano
2 Bertot, Yves
2 Bezem, Marc
2 Bonacina, Maria Paola
...and 704 more Authors
all top 5

Cited in 84 Serials

183 Theoretical Computer Science
66 Journal of Symbolic Computation
40 Information and Computation
36 Journal of Automated Reasoning
20 MSCS. Mathematical Structures in Computer Science
17 Journal of Functional Programming
15 Information Processing Letters
15 Annals of Pure and Applied Logic
13 Formal Aspects of Computing
9 Acta Informatica
9 Artificial Intelligence
9 Mathematical Systems Theory
8 Journal of Pure and Applied Algebra
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
6 Journal of Computer and System Sciences
6 RAIRO, Informatique Théorique
5 ACM Transactions on Computational Logic
5 Logical Methods in Computer Science
4 Cybernetics
4 RAIRO. Informatique Théorique et Applications
4 Annals of Mathematics and Artificial Intelligence
3 Theory and Practice of Logic Programming
2 Computers & Mathematics with Applications
2 Fuzzy Sets and Systems
2 Mathematische Zeitschrift
2 Semigroup Forum
2 International Journal of Algebra and Computation
2 International Journal of Foundations of Computer Science
2 International Journal of Computer Mathematics
2 Pattern Recognition
2 Indagationes Mathematicae. New Series
2 Applied Categorical Structures
2 Theory of Computing Systems
2 The Journal of Logic and Algebraic Programming
2 Computer Languages, Systems & Structures
2 Journal of Logical and Algebraic Methods in Programming
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 Information Sciences
1 International Journal of Computer & Information Sciences
1 Journal of Combinatorial Theory. Series A
1 Journal of Philosophical Logic
1 Linguistics and Philosophy
1 Mathematics and Computers in Simulation
1 Notre Dame Journal of Formal Logic
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 Logic, Language and Information
1 Journal of Applied Non-Classical Logics
1 The Bulletin of Symbolic Logic
1 LMS Journal of Computation and 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 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

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.