{"product_id":"lambda-calculus-with-types-cambridge-university-press-9780521766142-h-p-barendregt","title":"Lambda Calculus with Types","description":"\u003cp\u003eDiscover the fascinating world of typed lambda calculus with \u003cstrong\u003eLambda Calculus with Types\u003c\/strong\u003e by \u003cstrong\u003eH. P. Barendregt\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2013, this comprehensive hardback edition spans an impressive \u003cstrong\u003e856 pages\u003c\/strong\u003e. Ideal for enthusiasts of functional programming languages like Haskell and Clean, as well as proof assistants such as Coq, Isabelle, and HOL, this book delves into the intricate relationship between typing and mathematical beauty.\u003c\/p\u003e \u003cp\u003eBarendregt explores three essential classes of typing: simple types, recursive types, and intersection types, revealing their unexpected elegance. With numerous exercises included, readers can enhance their understanding and apply their knowledge practically. Whether you're a student, educator, or professional in the field of computer science, this book is an invaluable resource for mastering the principles of typed lambda calculus and its applications in designing and verifying IT products and mathematical proofs.\u003c\/p\u003e","brand":"H. P. Barendregt","offers":[{"title":"Default Title","offer_id":52237645119830,"sku":"9780521766142","price":98.21,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521766142.jpg?v=1767759181","url":"https:\/\/www.bookshop.lv\/products\/lambda-calculus-with-types-cambridge-university-press-9780521766142-h-p-barendregt","provider":"Bookshop","version":"1.0","type":"link"}