Programming with Higher-Order Logic PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Programming with Higher-Order Logic PDF full book. Access full book title Programming with Higher-Order Logic by Dale Miller. Download full books in PDF and EPUB format.

Programming with Higher-Order Logic

Programming with Higher-Order Logic PDF Author: Dale Miller
Publisher: Cambridge University Press
ISBN: 052187940X
Category : Computers
Languages : en
Pages : 321

Get Book

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.