Lambda Calculi : A Guide for Computer Scientists
by
Hankin
Book Details
Format
Paperback / Softback
Book Series
Graduate Texts in Computer Science
ISBN-10
0198538405
ISBN-13
9780198538400
Publisher
Oxford University Press
Imprint
Clarendon Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Oct 13th, 1994
Print length
176 Pages
Weight
280 grams
Dimensions
15.60 x 23.30 x 1.30 cms
AI Summary
Ksh 10,300.00
Manufactured on Demand
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Lambda calculus lies at the very foundation of computer science. Besides its historical role in computability theory, it has had significant influence on programming language design. This text, written from a systems perspective, emphasizes the practical relevance of its key theoretical ideas.
This is a textbook for final year undergraduates/first year graduates in computer science, as well as a useful introduction for research students seeking a solid introduction to more specialist literature. This text emphasises the role of calculus in programming language design and implementation, denotational semantics, and domain theory. Alternative books on the subject have been written by logicians, but this is the first to have been written from a computer science prespective, invaluable in emphasising the practical relevance of the key theortical ideas.
Get Lambda Calculi by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has pages.
Discover books you might love based on this title.
More in This Genre
Real-time Communication Protocols for Multi-hop Ad-hoc Networks
Ksh 9,900.00
Advances in Conceptual Modeling
Ksh 9,000.00
Visual Basic .NET All-In-One Desk Reference For Dummies
Ksh 7,000.00
Microservices for Machine Learning
Ksh 6,150.00
Calculus for Computer Graphics
Ksh 9,900.00
Modern Deep Learning Design and Application Development
Ksh 9,900.00
