The book of Shen - Fourth edition


Title: Paperback
Sale price$39.00


Shen has emerged as one of the most portable and far-reaching integrations of two great programming paradigms – functional and logic programming. The fourth 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 over 500 pages, The Book of Shen gives a complete formal and informal exposition of Shen.


Publisher - Upfront Publishing

Author(s) - Mark Tarver


Published Date -

ISBN - 9781915012111

Dimensions - 22.9 x 15.2 x 3 cm

Page Count - 524

Payment & Security

American Express Apple Pay Diners Club Discover Maestro Mastercard Shop Pay Union 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