A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)

S. Kamal Abdali

ISBN 10: 1332196020 ISBN 13: 9781332196029

Published by Forgotten Books, 2019

Language: English

Print on Demand

New Condition: New Soft cover

Save for Later

Sold by Forgotten Books, London, United Kingdom

AbeBooks Seller since 2 June 2021

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

New - Soft cover

Condition: New

Price: � 13.44 Convert Currency

Free shipping within United Kingdom Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Save for Later

About this Item

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

Contact seller

Report this item

Bibliographic Details

Title

A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)

Publisher

Forgotten Books

Publication Date

2019

Language

English

ISBN 10

1332196020

ISBN 13

9781332196029

Binding

Paperback

Condition

New

Book Type

print-on-demand item

Seller catalogs

Calculus

About this title

Synopsis

Excerpt from A Simple Lambda-Calculus Model of Programming Languages

Identity of le's is indicated by the symbol which is also used as a definition symbol.

"About this title" may belong to another edition of this title.

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.

Visit Seller's Storefront

Seller's business information

FB& C
Dalton House, 60 Windsor Ave, London, SW19 2RR, United Kingdom

Sale & Shipping Terms

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.

Re...

More Information

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. UK orders are fulfilled from the UK, while European orders are shipped from a location within Europe. Canadian orders may be shipped from either Canada or the USA, 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.

Detailed Seller Information