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

Lingua: inglese

Editore: Forgotten Books, 2018

1332196020 / 9781332196029

Immagine dell’articolo 1 di 2

Da: Forgotten Books, London, Regno UnitoForgotten Books

Venditore con 5 stelle

Venditore AbeBooks dal 2 giugno 2021

Brossura

Condizione: Nuovo

EUR 16,22

 Spedizione gratuita 
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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.…

Codice articolo 9781332196029_0

Titolo
A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint)
Autore
S. Kamal Abdali
Editore
Forgotten Books
Anno di pubblicazione
2018
Condizione
New
Tipo di libro
print-on-demand item
Rilegatura
Paperback
Lingua
inglese
ISBN 10
1332196020
ISBN 13
9781332196029
Cataloghi dei venditori
Calculus

Forgotten Books

London, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 2 giugno 2021

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 5 a 10 giorni lavorativiDa 5 a 10 giorni lavorativi
Primo articoloEUR 0,00EUR 0,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descrizione dello Store

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.

Specializzazione

Trade

Informazioni sull’azienda del venditore

FB &c Ltd

Dalton House, 60 Windsor Avenue
London, Regno Unito SW19 2RR