Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur, xiv + 306 pages, Cambridge University Press, 2012.
Reviewed by Frank Pfenning
Carnegie Mellon University, Pittsburgh
Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur, xiv + 306 pages, Cambridge University Press, 2012.
Reviewed by Frank Pfenning
Carnegie Mellon University, Pittsburgh