Authors | Gilles Dowek
autor-image
Gilles Dowek

Books by Gilles Dowek

Proofs and Algorithms
Proofs and Algorithms: by Gilles Dowek
by Gilles Dowek
Computation, Proof, Machine
Computation, Proof, Machine: by Gilles Dowek
by Gilles Dowek
Introduction to the Theory of Programming Languages
Introduction to the Theory of Programming Languages: by Gilles Dowek
by Gilles Dowek
Principles of Programming Languages
Principles of Programming Languages: by Gilles Dowek
by Gilles Dowek
Les métamorphoses du calcul : une étonnante histoire de mathémat
Les métamorphoses du calcul : une étonnante histoire de mathémat: by Gilles Dowek
by Gilles Dowek
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selec
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selec: by Gilles Dowek
by Gilles Dowek
Ce Dont On Ne Peut Parler Il Faut L'écrire : Langues Et Langages
Ce Dont On Ne Peut Parler Il Faut L'écrire : Langues Et Langages: by Gilles Dowek
by Gilles Dowek
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic: by Gilles Dowek
by Gilles Dowek
Ces préjugés qui nous encombrent
Ces préjugés qui nous encombrent: by Gilles Dowek
by Gilles Dowek

Stay in touch.

© 2025 AMPLE READS