The Lambda Calculus. Its Syntax and Semantics by Henk Barendregt 9781848900660

Name: The Lambda Calculus. Its Syntax and Semantics by Henk Barendregt 9781848900660
SKU: 9781848900660
Price: 20.17 GBP
Availability: InStock

No reviews yet Write a Review

RRP: £21.50

Booksplease Price: £20.17

Booksplease saves you 6%

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:: 9781848900660
UPC:
MPN:: 9781848900660

Available from Booksplease!

Global delivery available

Availability: Usually dispatched within 4 working days

Ask Questions

Frequently Bought Together:

The Lambda Calculus. Its Syntax and Semantics by Henk Barendregt 9781848900660

RRP: £21.50

Booksplease Price: £20.17

Booksplease saves you 6%

Total: Inc. VAT

Total: Ex. VAT

Description
Reviews

Description

Apologies but we at Booksplease don't have a full description for this book.

Book Information
ISBN 9781848900660
Author Henk Barendregt
Format Paperback
Page Count 656
Imprint College Publications
Publisher College Publications
Weight(grams) 906g
Dimensions(mm) 234mm * 156mm * 33mm

Reviews

No reviews yet Write a Review

Related Titles

A Lambda Calculus Satellite by Henk Barendregt 9781848904248

Booksplease Price: £34.60

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848904248Author Henk BarendregtFormat HardbackPage Count 602Imprint

Add to Cart

Lambda Calculus with Types by Henk Barendregt 9780521766142

RRP: £77.99

Booksplease Price: £73.32

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype...

Add to Cart

A Lambda Calculus Satellite by Henk Barendregt 9781848904156

Booksplease Price: £26.99

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848904156Author Henk BarendregtFormat PaperbackPage Count 602Imprint

Add to Cart

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics by Dirk Draheim 9783662568729

Booksplease Price: £111.24

This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed...

Add to Cart

Modal Logic: An Introduction to its Syntax and Semantics by Nino B. Cocchiarella 9780195366570

RRP: £52.00

Booksplease Price: £42.50

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis...

Add to Cart

Booksplease Reviews

Fast and efficient way to choose and receive books

This is my second experience using Booksplease. Both orders dealt with very quickly and despatched. Now waiting for my next read to drop through the letterbox.

J - United Kingdom

Will definitely use again!

Great experience and I have zero concerns. They communicated through the shipping process and if there was any hiccups in it, they let me know. Books arrived in perfect condition as well as being fairly priced. 10/10 recommend. I will definitely shop here again!

T - United States

The shipping was just superior

The shipping was just superior; not even one of the books was in contact with the shipping box -anywhere-, not even a corner or the bottom, so all the books arrived in perfect condition. The international shipping took around 2 weeks, so pretty great too.

R - Spain

Found a hard to get book…

Finding a hard to get book on Booksplease and with it not being an over inflated price was great. Ordering was really easy with updates on despatch. The book was packaged well and in great condition. I will certainly use them again.

J - United Kingdom

Recently Viewed

The Lambda Calculus. Its Syntax and Semantics by Henk Barendregt 9781848900660

Frequently Bought Together:

Description

Goodreads reviews

Reviews