Programming with Higher-Order Logic
Format: Hardcover
ISBN13: 9780521879408
Hardcover|9780521879408
✨ Featured Offer
Brand New
$62.94
List Price: $57.99
🚚
See all 4 offers from $62.94 FREE standard delivery by: 02 Apr 2026
Overview
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.
| ISBN-13 | 9780521879408 |
|---|---|
| ISBN-10 | 052187940X |
| Weight | 1.36 Pounds |
| Dimensions | 6.10 x 0.90 x 9.10 In |
| List Price | $57.99 |
| Edition | 1st Edition |
| Format | Hardcover |
|---|---|
| Language | English |
| Pages | 320 pages |
| Publisher | Cambridge University Press |
| Published On | 2012-06-11 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Contains: Line drawings. 81 b/w illus. Intended for professional and scholarly audi...
Free delivery by: 02 Apr 2026
Brand New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 02 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 02 Apr 2026
Brand New
Seller details
Bonita
Santa Clarita, CA, USA
Free delivery by: 02 Apr 2026