545355
9780521772655
Out of Stock
The item you're looking for is currently unavailable.
This is an advanced textbook on the theory of programming languages, covering functional programming, abstract machines, natural deduction, logic programming, and various aspects of type theory.Pfenning, Frank is the author of 'Computation and Deduction' with ISBN 9780521772655 and ISBN 0521772656.
[read more]