☰

Programming with Higher-Order Logic

Name: Buy Programming with Higher-Order Logic Online
Brand: Taylor and Francis
Price: 40.8 GBP
Availability: InStock

About our links

Some links on this site are affiliate links. If you buy something through them, we may earn a small commission from the shop, at no extra cost to you. Prices and stock come from the shops and can change.

Taylor and Francis

£40.80 at Hive Books

Go to Hive Books

The price comes from the shop and can change. Check price, size and delivery on the shop's page before you order.

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

Categories: Ebooks