Programming with Higher-Order Logic

by Dale Miller (Author), Gopalan Nadathur (Author)

New
Hardcover
2012
$61.14

A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.

Synopsis

A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.

$61.14

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 320
Edition: 1
Publisher: Cambridge University Press
Published: 30 Jun 2012
ISBN 10: 052187940X
ISBN 13: 9780521879408

Programming with Higher-Order Logic

New

$61.14

Synopsis

$61.14

More Information