Articoli correlati a Lambda-calculus, Combinators and Functional Programming

Lambda-calculus, Combinators and Functional Programming - Brossura

Revesz, G

 
9780521114295: Lambda-calculus, Combinators and Functional Programming
Brossura
ISBN 10: 0521114292 ISBN 13: 9780521114295
Casa editrice: Cambridge University Press, 2009

Sinossi

Provides computer science students and researchers with a firm background in lambda-calculus and combinators.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated.

Contenuti

Preface; 1. Introduction; 2. Type-free lambda-calculus; 3. Combinators and constant symbols; 4. List manipulation in lambda-calculus; 5. Rule-based semantics of λ-expressions; 6. Outlines of a reduction machine; 7. Towards a parallel graph-reduction; Appendix A: A proof of the Church-Rosser theorem; Appendix B: Introduction to typed λ-calculus; Bibliographical notes; References.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreCambridge University Press
  • Data di pubblicazione2009
  • ISBN 10 0521114292
  • ISBN 13 9780521114295
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero edizione1
  • Numero di pagine192
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: come nuovo
Like New
Visualizza questo articolo
9780521114295: Lambda-calculus, Combinators and Functional Programming
EUR 133,64

Convertire valuta

EUR 29,22 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9780521114295: Lambda-calculus, Combinators and Functional Programming
EUR 68,38

Convertire valuta

EUR 11,69 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780521345897: Lambda-calculus, Combinators and Functional Programming

Edizione in evidenza

ISBN 10:  0521345898 ISBN 13:  9780521345897
Casa editrice: Cambridge University Press, 1988
Rilegato

Risultati della ricerca per Lambda-calculus, Combinators and Functional Programming

Foto dell'editore

Revesz, G. E.
Editore: Cambridge Univ Pr, 2009
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Paperback
Print on Demand

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 1st edition. 191 pages. 9.61x6.69x0.41 inches. In Stock. This item is printed on demand. Codice articolo __0521114292

Contatta il venditore

Compra nuovo

EUR 68,38
Convertire valuta
Spese di spedizione: EUR 11,69
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Revesz, G. E.
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9780521114295_new

Contatta il venditore

Compra nuovo

EUR 69,96
Convertire valuta
Spese di spedizione: EUR 10,51
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Gyorgy E. Revesz
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Paperback / softback
Print on Demand

Da: THE SAINT BOOKSTORE, Southport, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 350. Codice articolo C9780521114295

Contatta il venditore

Compra nuovo

EUR 72,37
Convertire valuta
Spese di spedizione: EUR 8,52
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Revesz, G. E.
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to co. Codice articolo 446926249

Contatta il venditore

Compra nuovo

EUR 72,40
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

G. E. Revesz
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 192. Codice articolo 26532850

Contatta il venditore

Compra nuovo

EUR 80,86
Convertire valuta
Spese di spedizione: EUR 7,84
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

G Revesz
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Paperback

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: New. Codice articolo 6666-IUK-9780521114295

Contatta il venditore

Compra nuovo

EUR 66,37
Convertire valuta
Spese di spedizione: EUR 23,37
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Foto dell'editore

Revesz G. E.
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Print on Demand pp. 192 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Codice articolo 8363693

Contatta il venditore

Compra nuovo

EUR 82,94
Convertire valuta
Spese di spedizione: EUR 10,34
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Revesz G. E.
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Brossura
Print on Demand

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. PRINT ON DEMAND pp. 192. Codice articolo 18532856

Contatta il venditore

Compra nuovo

EUR 85,75
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

G. E. Revesz
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Provides computer science students and researchers with a firm background in lambda-calculus and combinators. Codice articolo 9780521114295

Contatta il venditore

Compra nuovo

EUR 92,55
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

G.E. Revesz
ISBN 10: 0521114292 ISBN 13: 9780521114295
Nuovo Paperback

Da: CitiRetail, Stevenage, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: new. Paperback. Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages. Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780521114295

Contatta il venditore

Compra nuovo

EUR 74,63
Convertire valuta
Spese di spedizione: EUR 35,07
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Vedi altre 4 copie di questo libro

Vedi tutti i risultati per questo libro