LIMITED OFFER
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code needed.
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner.… Read more
LIMITED OFFER
Immediately download your ebook while waiting for your print delivery. No promo code needed.