Dale Miller
Proof Theory and Logic Programming: Computation as Proof Search

Proof Theory and Logic Programming: Computation as Proof Search by Dale Miller is a refreshing look at the role that logic, specifically proof theory, plays in the foundation of computation.

The book takes the perspective of a less-travelled route of applications of proof theory to computation - through the lens of proof search, a systematic and disciplined approach for searching for proofs of logical propositions.

The book assumes minimal prerequisites, which makes it accessible to novices and experts alike.

Its comprehensive coverage of decades of work in the field should make this an excellent reference textbook.

This book is a clear and elegant journey through the connections between proof theory and programming.... Lire la suite