Programming with Higher-Order Logic |
|
| Author:
| Miller, Dale
Nadathur, Gopalan |
| ISBN: | 978-1-139-51212-1 |
| Publication Date: | Jun 2012 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.