| Publication | Date of Publication | Type |
|---|
Obituary for Gilles Dowek
Bulletin of the European Association for Theoretical Computer Science EATCS | 2026-05-12 | Paper |
| From -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 |
| scientific article; zbMATH DE number 7075936 (Why is no real title available?) | 2019-07-03 | Paper |
Computing with relational machines
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
30 years of research and development around Coq
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Preface to the special issue: Interactive theorem proving and the formalization of mathematics
Mathematical Structures in Computer Science | 2011-10-21 | Paper |
Verification: Theory and Practice
Lecture Notes in Computer Science | 2010-03-23 | Paper |
The Reactive Engine for Modular Transducers
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
Journal of Functional Programming | 2006-01-25 | Paper |
| scientific article; zbMATH DE number 2154394 (Why is no real title available?) | 2005-04-09 | Paper |
| scientific article; zbMATH DE number 1954100 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1927411 (Why is no real title available?) | 2003-06-12 | Paper |
Śrī, Yantra geometry
Theoretical Computer Science | 2002-07-18 | Paper |
Regular Böhm trees
Mathematical Structures in Computer Science | 1999-03-22 | Paper |
The Zipper
Journal of Functional Programming | 1998-02-11 | Paper |
| scientific article; zbMATH DE number 1070623 (Why is no real title available?) | 1997-10-07 | Paper |
Residual theory in λ-calculus: a formal development
Journal of Functional Programming | 1995-11-28 | Paper |
An analysis of Böhm's theorem
Theoretical Computer Science | 1994-08-28 | Paper |
The calculus of constructions
Information and Computation | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4074451 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4014064 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4019061 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4033057 (Why is no real title available?) | 1987-01-01 | Paper |
Complete sets of unifiers and matchers in equational theories
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3985475 (Why is no real title available?) | 1986-01-01 | Paper |
A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
Journal of Symbolic Computation | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3928956 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3867289 (Why is no real title available?) | 1983-01-01 | Paper |
Proofs by induction in equational theories with constructors
Journal of Computer and System Sciences | 1982-01-01 | Paper |
A complete proof of correctness of the Knuth-Bendix completion algorithm
Journal of Computer and System Sciences | 1981-01-01 | Paper |
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
Journal of the ACM | 1980-01-01 | Paper |
An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
Information Processing Letters | 1978-01-01 | Paper |
Proving and applying program transformations expressed with second-order patterns
Acta Informatica | 1978-01-01 | Paper |
A unification algorithm for typed \(\bar\lambda\)-calculus
Theoretical Computer Science | 1975-01-01 | Paper |
A unification algorithm for typed -calculus
Theoretical Computer Science | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3502768 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3561307 (Why is no real title available?) | 1975-01-01 | Paper |
The undecidability of unification in third order logic
Information and Control | 1973-01-01 | Paper |
