Barendregt, Henk

The Lambda Calculus. Its Syntax and Semantics

(No reviews yet) Write a Review
ISBN 13:
9781848900660
author:
Barendregt, Henk
format:
Paperback
publisher:
College Publications
language:
English
Publication Year:
2012
Pages:
656
Dimensions:
15.6 x 3.3 x 23.4 cm
Genre:
Computing & Internet, Computer Science, Artificial Intelligence, ,
Condition:
New
Availability:
Item usually sent within 5 working days
£23.55

Description

The Lambda Calculus: Its Syntax and Semantics A comprehensive treatment of the untyped lambda calculus, this book explores its fundamental concepts, including conversion, reduction, theories, and models. It presents a detailed analysis of the algebraic, computational, and set-theoretic aspects of the theory. At its core, the lambda calculus is based on expressions called lambda terms, which are built up from variables using application and abstraction. This allows for the creation of functions in a flexible and expressive way. The book shows how computations, both terminating and infinite, can be represented using lambda terms, providing a high level of abstraction. With its clear and rigorous approach, this book is an essential resource for anyone interested in computer science, artificial intelligence, or mathematics.

View AllClose

Related Products

Related Products

Lambda
Add to Cart
Quick view

Lambda

Musgrave, David

£12.66
Lambda by David Musgrave is a thought-provoking exploration of an enigmatic phenomenon that has already begun to manifest in our world. The lambdas are a mysterious presence, and their origins remain...
The Syntax of Spanish
Add to Cart
Quick view

The Syntax of Spanish

Karen Zagona

£56.79
This textbook provides an introduction to Spanish syntax, assuming no prior knowledge of current theory. It begins with a descriptive overview of the major characteristics of the grammar and goes on...