All Formats & Editions
1 - 4 of 4 results found
A Constructive Semantics Of The Lambda Calculus
Edition Details
Format:Hardcover
Language:English
ISBN:1340307553
Format: Hardcover
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
A Constructive Semantics Of The Lambda Calculus
Edition Details
Format:Paperback
Language:English
ISBN:1376971992
Format: Paperback
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
A Constructive Semantics Of The Lambda Calculus
Edition Description
This book is an introduction to the study of the lambda calculus. It explains how the lambda calculus can be used to define programming languages and to reason about their behavior. It is suitable for readers with a basic knowledge of discrete mathematics and computer science. This...
Edition Details
Format:Paperback
Language:English
ISBN:1021513083
Format: Paperback
Condition:
$
22.78
A Constructive Semantics Of The Lambda Calculus
Edition Description
This book is an introduction to the study of the lambda calculus. It explains how the lambda calculus can be used to define programming languages and to reason about their behavior. It is suitable for readers with a basic knowledge of discrete mathematics and computer science. This...
Edition Details
Format:Hardcover
Language:English
ISBN:1019962674
Format: Hardcover
Condition:
$
32.95
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
