Computation, Proof, Machine
Dowek and 1 more
Ebook
Digital. Available Immediately. Country restrictions apply.
£45.00
Rewriting and Typed Lambda Calculi
Gilles Dowek
Paperback
Not Available
Proofs and Algorithms
£26.99
Principles of Programming Languages
£27.99