A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)
Language: English
Published by Forgotten Books, 2018
- Softcover
- New
Seller: Forgotten Books, London, United KingdomForgotten Books
AbeBooks seller since June 2, 2021
Condition: New
US$ 17.73
Quantity: Over 20 available
Add to basketItem description from seller
Print on Demand. This book explores programming languages through the lens of lambda calculus, a foundational mathematical system for computation. The author argues that lambda calculus provides a simple yet powerful framework for understanding the structure and behavior of programming languages. The book covers a wide range of topics, including: - The representation of programs as lambda expressions - The interpretation of lambda expressions as functions - The use of lambda calculus to model programming language features such as variables, constants, expressions, assignments, and control structures - The application of lambda calculus to the problems of proving program equivalence and correctness This book is a valuable resource for anyone interested in the foundations of programming languages or the use of lambda calculus in computer science. The author's clear and concise exposition makes this book accessible to readers with a variety of backgrounds, from students to experienced researchers. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book.…
Seller Inventory # 9781332196029_0
- Title
- A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)
- Author
- S. Kamal Abdali
- Publisher
- Forgotten Books
- Publication year
- 2018
- Condition
- New
- Book Type
- print-on-demand item
- Binding
- Paperback
- Language
- English
- ISBN 10
- 1332196020
- ISBN 13
- 9781332196029
- Seller catalogs
- Calculus
The work argues for a model that avoids memory or fetch-and-store concepts, keeping assignments as substitutions within the lambda framework. It also demonstrates how high-level language constructs, like ALGOL 60 features, can be translated directly into lambda-expressions and reduced to meaningful results. The approach emphasizes simplicity and intuitive justification, while offering ways to trace execution steps through a modified reduction process.
- Programs are represented by lambda-expressions that capture input-output behavior as functions.
- Reduction and normal forms show how programs compute, without simulating machine state.
- High-level constructs, including loops, conditionals, and even certain ALGOL 60 features, map to lambda-transforms.
- The model supports tracing execution steps and can extend to other language features.
Ideal for readers of programming language theory and formal models who want a purely functional perspective on program representation.
"Synopsis" may belong to another edition of this title.
Forgotten Books
London, United Kingdom
AbeBooks seller since June 2, 2021
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 10 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Payment methods
Store description
Forgotten Books’ Classic Reprint Series utilizes the latest technology to regenerate facsimiles of historically important writings. Careful attention has been made to accurately preserve the original format of each page whilst digitally enhancing the quality of the aged text.
Specialty
TradeSeller's business information
FB &c Ltd
Dalton House, 60 Windsor Avenue
London, United Kingdom SW19 2RR
Terms of sale
All books are Print on Demand and will be printed upon purchase and shipped in New Condition. Orders typically ship within 3-5 business days. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the ask bookseller a question link to contact us and we'll respond within 2 business days.
Other policies
Please note that we cannot accept cancellation requests once an order has been placed.
All Forgotten Books titles are printed on demand. The moment an order is submitted, it is automatically transmitted to our distributor and then forwarded to the printer, where it enters production. This process begins within minutes and is entirely automated.
A cancellation, however, is a manual, multi-step request that must pass through several systems. By the time such a request reaches the appropriate stage, the book has almost always been printed, packed, or already dispatched, which makes cancellation impossible.
For this reason, we kindly ask that you double-check the title, edition, and your shipping details before placing an order.
If you change your mind after ordering, you are welcome to return the book once it arrives, and a refund will be issued in accordance with AbeBooks’ return policy.
Please also make sure your address is correct before ordering as we will no be able to intervene and make changes before the book is shipped.
We can provide digital samples for all our print books ahead, so don't hesitate to reach out.
Returns
As a small publisher we do not have the facilities to resell returned books, so any returned book will be recycled. If the book is damaged or defective please continue with the return process, and thank you for letting us know so that we can improve our products. If you’re returning for another reason, however, please consider whether you could donate or gift the book instead so that it avoids the waste pile.
Thank you in advance!
Shipping terms
We are committed to minimizing our environmental impact and reducing shipping costs by manufacturing and shipping our products as close to our customers as possible. For orders within the United States, your items are shipped from the USA with final delivery done by USPS.
UK and European orders are fulfilled from the UK through various couriers.
Canadian orders may be shipped from either Canada or the USA via Canada Post or UPS, depending on the size of the order.
For our customers in other regions around the world, we ensure that your orders are shipped from the closest available location to reduce delivery times and carbon footprint. Our goal is to deliver your products efficiently, no matter where you are located.
Please be aware that depending on the size of your order and local legislation in your country, there may be additional taxes, customs duties, and fees imposed by the destination country. These charges are not included in the item price or shipping cost. They are the responsibility of the customer and must be paid upon delivery.
We recommend checking with your local customs office for more information on potential charges before placing your order. Forgotten Books is not responsible for any customs duties, taxes, or fees incurred.