Hankin, Chris

An Introduction to Lambda Calculi for Computer Scientists

(No reviews yet) Write a Review
ISBN 13:
9780954300654
author:
Hankin, Chris
format:
Paperback
publisher:
King's College Publications
language:
English
Publication Year:
2004
Pages:
180
Dimensions:
22.4 x 15 x 1.3 cm
Genre:
Computers (Hardware)
Condition:
New
Availability:
Item usually sent within 5 working days
£14.91

Description

Lambda Calculi for Computer Scientists The lambda-calculus is a fundamental concept in computer science, with significant influence on programming language design and implementation. This book provides an introduction to proof theory for the type-free lambda-calculus, covering basic theory, reduction, models, computability, and its relationship with combinatory logic. The first six chapters focus on the basic theory of the type-free lambda-calculus, while chapter seven presents various typed calculi, including simply typed lambda-calculus, Milner-style polymorphism, and the polymorphic lambda-calculus. Chapter eight explores two variants of the type-free lambda-calculus: lazy lambda-calculus and lambda sigma-calculus. The book concludes with references and a guide to further reading. Suitable for final year undergraduates or first year graduate students in computer science, this book offers a practical introduction to key theoretical ideas from a computer science perspective.

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...