Dale Miller, Gopalan Nadathur. Programming with Higher-Order Logic. Cambridge University Press, 2012. [doi]
@book{0036008,
title = {Programming with Higher-Order Logic},
author = {Dale Miller and Gopalan Nadathur},
year = {2012},
url = {http://www.cambridge.org/de/academic/subjects/computer-science/programming-languages-and-applied-logic/programming-higher-order-logic?format=HB},
researchr = {https://researchr.org/publication/0036008},
cites = {0},
citedby = {0},
publisher = {Cambridge University Press},
isbn = {978-0-521-87940-8},
}