About the book
Welcome to the home page for the book Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur. This book was published by Cambridge University Press in June 2012.
Use the menu above to explore this site.
Welcome to the home page for the book Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur. This book was published by Cambridge University Press in June 2012.
Use the menu above to explore this site.