Programming with Higher-Order Logic
Programming with Higher-Order Logic
Regular price
Rs. 5,941.32
Regular price
Sale price
Rs. 5,941.32
Unit price
per
Tax included.
ISBN: 9781139506298
Author: Dale Miller; Gopalan Nadathur
Publisher: Gardners
Published Date: June 11, 2012
Access Validity: 3 Years from Date of Purchase
Book Type:
Digital eBook
Couldn't load pickup availability
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.
