No CrossRef data available.
Article contents
Programming with Higher-Order Logic, by Dale Miller and Gopalan Nadathur , Cambridge University Press, 2012, Hardcover, ISBN-10:052187940X, xiv + 306 pp.
Published online by Cambridge University Press: 04 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS1471068414000027/resource/name/firstPage-S1471068414000027a.jpg)
- Type
- Book Review
- Information
- Copyright
- Copyright © Cambridge University Press 2014