Books.md @master — view markup · raw · history · blame
Logic Programming Books
Programming with Higher-Order Logic
- authors: Dale Miller, Gopalan Nadathur
- date: 2012
- borrow @ archive.org
- booksite: https://sites.google.com/site/proghol/
LambdaProlog and HOAS.