Skip to main content
PBS logo
 
 

Search - Computation and Deduction

Computation and Deduction
Computation and Deduction
Author: Frank Pfenning
Computation and Deduction is an advanced undergraduate or introductory graduate textbook on the theory of programming languages, covering functional programming, abstract machines, natural deduction, logic programming, and various aspects of type theory. It is unique in that the definitions and proofs in the book have been implemented in a logi...  more »
ISBN-13: 9780521772655
ISBN-10: 0521772656
Publication Date: 12/30/2012
Pages: 350
Edition: 1
Rating:
  ?

0 stars, based on 0 rating
Publisher: Cambridge Univ Pr (Sd)
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: