This title will be released on .
This eBook is no longer available for sale.
This eBook is not available in your country.
About the eBook
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.
Show more
Show more
-
Publisher:
-
Published: ; Copyright:
- ISBN:
- Edition:
- Title:
-
Series:
- Author:
-
Imprint:
-
Language:
- Number of Pages:
[disclaimer]
Page count shown is an approximation provided by the publisher. The actual page count will vary based on various factors such your device's screen size and font-size.
Download file formats
This ebook is available in file types:
This ebook is available in:
After you've bought this ebook, you can choose to download either the PDF version or the ePub, or both.
DRM Free
The publisher has supplied this book in DRM Free form with digital watermarking.
Required software
You can read this eBook on any device that supports DRM-free EPUB or DRM-free PDF format.
Digital Rights Management (DRM)
The publisher has supplied this book in encrypted form, which means that you need to install free software in order to unlock and read it.
Required software
To read this ebook on a mobile device (phone or tablet) you'll need to install one of these free apps:
To download and read this eBook on a PC or Mac:
- Adobe Digital Editions (This is a free app specially developed for eBooks. It's not the same as Adobe Reader, which you probably already have on your computer.)
Limits on printing and copying
The publisher has set limits on how much of this ebook you may print or copy. See details.
-
{{ format_drm_information.format_name }} unrestricted
{{ format_drm_information.format_name }} {{format_drm_information.page_percent}}% pages every day{{format_drm_information.interval}} days
{{ format_drm_information.format_name }} off
Read Aloud
-
{{ read_aloud_information.format_name }} on
{{ read_aloud_information.format_name }} off