The Book of Shen: third edition

Save £9.45

Title: Paperback
Sale price£35.55 Regular price£45.00


Shen has emerged as one of the most portable and far-reaching integrations of two great programming paradigms - functional and logic programming. The third edition to The Book of Shen gives the foundations of both those disciplines, exploring both lambda calculus, type theory, first - order and Horn clause logic in a text which is rich in worked examples. In the course of 400 pages, the text gives a complete formal and informal exposition of Shen.


Publisher -

Language - English

Author(s) - Mark Tarver


Published Date - June 18 2015

ISBN - 9781784562137

Dimesions - 23.4 x 15.6 x 2.3 cm

Page Count - 430

Payment & Security

American Express Apple Pay Diners Club Discover Maestro Mastercard Shop Pay Visa

Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.

You may also like

Recently viewed