Dale Miller

Gebundenes Buch

Proof Theory and Logic Programming

Computation as Proof Search

Beschreibung

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.

Autor

Dale Miller is Director of Research at INRIA Saclay-Île-de-France. He has been a professor at the University of Pennsylvania, Pennsylvania State University, and the École Polytechnique in France. He served as Editor-in-Chief of the 'ACM Transactions on Computational Logic' and has received an ERC Advanced Investigators Grant, the LICS Test-of-Time Award (twice), and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 400
• Erscheinungstermin: 31. Dezember 2025
• Englisch
• ISBN-13: 9781009561297
• ISBN-10: 1009561294
• Artikelnr.: 74200173