phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Programming with Higher-Order Logic

Language EnglishEnglish
Book Hardback
Book Programming with Higher-Order Logic Dale Miller
Libristo code: 01234526
Publishers Cambridge University Press, June 2012
Formal systems that describe computations over syntactic structures occur frequently in computer sci... Full description
? points 150 b
59.23 €
In stock at our supplier Shipping in 19-25 days

30-day return policy

You might also be interested in

TOP
Geomorphia Kerby Rosanes / Paperback
common.buy 7.47 €
TOP
Of Blood and Bones Kate Freuler / Paperback
common.buy 16.34 €
TOP
That Time I Got Reincarnated as a Slime, Vol. 1 Fuse / Paperback
common.buy 14.95 €
TOP
Becoming Michelle Obama / Paperback
common.buy 13.35 €
TOP
Grammar for English Language Teachers Martin Parrott / Paperback
common.buy 41.77 €
TOP
Power Michel Foucault / Paperback
common.buy 13.05 €
TOP
Tommy Emmanuel's Fingerstyle Guitar Milestones Tim Pettingale / Paperback
common.buy 20.33 €
TOP
Art of Feefal / Hardback
common.buy 33.30 €
250 Brief, Creative & Practical Art Therapy Techniques250 Brief, Creative & Practical Art Therapy Techniques Susan Buchalter / Paperback
common.buy 26.42 €
My Reading Life: A Book Journal / Hardback
common.buy 17.24 €
The Greater Key of Solomon: The Grimoire of Solomon Samuel Mathers / Paperback
common.buy 6.97 €
Promise of Fire Amanda Bouchet / Paperback
common.buy 9.06 €
High 5 Daily Journal Mel Robbins / Hardback
common.buy 17.54 €
My Sunday Missal: 1962 Latin Mass / Paperback
common.buy 15.45 €
Race Against Chaos Sticker Activity Book Kiel Phegley / Paperback
common.buy 7.17 €
The Dragon's Promise / Paperback
common.buy 10.96 €

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

About the book

Full name Programming with Higher-Order Logic
Author Dale Miller
Language English
Binding Book - Hardback
Date of issue 2012
Number of pages 320
EAN 9780521879408
ISBN 052187940X
Libristo code 01234526
Publishers Cambridge University Press
Weight 616
Dimensions 160 x 237 x 23

Categories

Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account