Programming with Higher-Order Logic

Discover the innovative world of computation with Programming with Higher-Order Logic by Dale Miller, published by Cambridge University Press in 2012. This insightful hardback edition spans 320 pages and delves into the intricacies of formal systems in computer science.

Dale Miller presents a groundbreaking programming language grounded in a simply typed version of higher-order logic. This book elegantly demonstrates how this approach facilitates computations over syntactic structures that embody binding. Whether you are a seasoned programmer or a curious learner, this work provides a comprehensive understanding of logic programming and its applications, particularly with Prolog.

Enhance your programming skills and deepen your knowledge of computational structures with this essential resource. Perfect for those interested in programming languages and logic, Programming with Higher-Order Logic is a must-read for anyone looking to expand their expertise in the field.