Skip to navigation
Skip to content

Discount Promotion for Miller, Nadathur, Programming with Higher-Order Logic

View titles by category

Sort by:

Programming with Higher-Order Logic

  • Dale Miller
  • Gopalan Nadathur
  • Hardback (ISBN-13: 9780521879408)
  • Publication date: September 2012

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

  • Availability: In stock
  • Was: £48.99
  • Now: £39.19

My Cart

You have  in your cart.