Programming with Higher-Order Logic
Author | : Dale Miller |
Publisher | : Cambridge University Press |
Total Pages | : 321 |
Release | : 2012-06-11 |
ISBN-10 | : 9780521879408 |
ISBN-13 | : 052187940X |
Rating | : 4/5 (40X Downloads) |
Book Synopsis Programming with Higher-Order Logic by : Dale Miller
Download or read book Programming with Higher-Order Logic written by Dale Miller and published by Cambridge University Press. This book was released on 2012-06-11 with total page 321 pages. Available in PDF, EPUB and Kindle. Book excerpt: A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.