You are here

Programming with Higher-Order Logic

Publisher: 
Cambridge University Press
Number of Pages: 
306
Price: 
65.00
ISBN: 
9780521879408
Date Received: 
Tuesday, June 26, 2012
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Dale Miller and Gopalan Nadathur
Publication Date: 
2012
Format: 
Hardcover
Category: 
Monograph

1. First-order terms and representations of data
2. First-order horn clauses
3. First-order hereditary Harrop formulas
4. Typed lambda terms and formulas
5. Using quantification at higher-order types
6. Mechanisms for structuring large programs
7. Computations over λ-terms
8. Unification of λ-terms
9. Implementing proof systems
10. Computations over functional programs
11. Encoding a process calculus language
Appendix: the Teyjus system.

Publish Book: 
Modify Date: 
Tuesday, June 26, 2012

Dummy View - NOT TO BE DELETED