List of books by author Gilles Dowek

Read it, Love it, Pass it on SELL YOUR BOOKS

Free UK delivery over £5 Free UK delivery over £5

OVER 100 MILLION BOOKS REHOMED

Books by Gilles Dowek

Filters

Close all

Sort by:

Price

Binding Type

Author

Publisher

Product Type

Console

Platform

Conditions

Rewriting and Typed Lambda Calculi

Rewriting and Typed Lambda Calculi

Author: Gilles Dowek

View Product

Computation, Proof, Machine

Computation, Proof, Machine

Author: Gilles Dowek

View Product

Proofs and Algorithms

Proofs and Algorithms

Author: Gilles Dowek

View Product

Higher-Order Algebra, Logic, and Term Rewriting

Higher-Order Algebra, Logic, and Term Rewriting

Author: Gilles Dowek

View Product

Principles of Programming Languages

Principles of Programming Languages

Author: Gilles Dowek

View Product

Introduction to the Theory of Programming Languages

Introduction to the Theory of Programming Languages

Author: Gilles Dowek

View Product

48