Lambda Calculi

Lambda Calculi A Guide for Computer Scientists - Graduate Texts in Computer Science

Hardback (01 Apr 1995)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

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 and implementation, denotational semantics and domain theory. This book is written from a systems perspective, emphasizing the practical relevance of many of the key theoretical ideas.

Book information

ISBN: 9780198538417
Publisher: Clarendon Press
Imprint: Clarendon Press
Pub date:
DEWEY: 005.131
Number of pages: 175
Weight: 420g
Height: 230mm
Width: 150mm
Spine width: 15mm