Gérard Huet

Available identifiers

zbMath Open huet.gerard-pDBLPh/GPHuetWikidataQ974366 ScholiaQ974366MaRDI QIDQ789175

List of research outcomes

Publication	Date of Publication	Type
From \(\lambda\)-calculus to category theory through algebraic rewriting	2024-09-06	Paper
Introduction to category theory	2024-09-06	Paper
Canonical basis of commuting diagrams. Application to the mechanical synthesis of coherence conditions	2024-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4967236	2019-07-03	Paper
Computing with relational machines	2017-06-14	Paper
30 years of research and development around Coq	2014-04-10	Paper
Preface to the special issue: Interactive theorem proving and the formalization of mathematics	2011-10-21	Paper
Verification: Theory and Practice	2010-03-23	Paper
The Reactive Engine for Modular Transducers	2007-09-07	Paper
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger	2006-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4664920	2005-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4415092	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4484328	2003-06-12	Paper
Śrī, Yantra geometry	2002-07-18	Paper
Regular Böhm trees	1999-03-22	Paper
The Zipper	1998-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4357063	1997-10-07	Paper
Residual theory in λ-calculus: a formal development	1995-11-28	Paper
An analysis of Böhm's theorem	1994-08-28	Paper
The calculus of constructions	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3805882	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773320	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3030827	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3026376	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3749213	1986-01-01	Paper
Complete sets of unifiers and matchers in equational theories	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3703866	1985-01-01	Paper
A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3335752	1983-01-01	Paper
Proofs by induction in equational theories with constructors	1982-01-01	Paper
A complete proof of correctness of the Knuth-Bendix completion algorithm	1981-01-01	Paper
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems	1980-01-01	Paper
Proving and applying program transformations expressed with second-order patterns	1978-01-01	Paper
An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations	1978-01-01	Paper
A unification algorithm for typed \(\bar\lambda\)-calculus	1975-01-01	Paper
A unification algorithm for typed \(\overline\lambda\)-calculus	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4082995	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133944	1975-01-01	Paper
The undecidability of unification in third order logic	1973-01-01	Paper

Research outcomes over time

This page was built for person: Gérard Huet