Articoli correlati a The Lambda Calculus. Its Syntax and Semantics
Sinossi
The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic. The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according to the reduction rules. Abstraction provides a way to create functions according to the effect when applying them. The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Barendregt Henk
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreCollege Publications
- Data di pubblicazione2012
- ISBN 10 184890066X
- ISBN 13 9781848900660
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine656
Compra nuovo
Visualizza questo articolo
EUR 33,09
EUR 2,35 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per The Lambda Calculus. Its Syntax and Semantics
Immagini fornite dal venditore
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Editore:
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Antico o usato
Brossura
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. Codice articolo wbs2742120233
Quantità: 1 disponibili
Foto dell'editore
The Lambda Calculus. Its Syntax and Semantics
Editore:
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Antico o usato
Brossura
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Codice articolo M0184890066X-V
Quantità: 1 disponibili
Immagini fornite dal venditore
The Lambda Calculus. Its Syntax and Semantics
Editore:
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 18731839
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
The Lambda Calculus. Its Syntax and Semantics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 18731839-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
The Lambda Calculus. Its Syntax and Semantics (Paperback or Softback)
Editore:
College Publications 4/30/2012, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. The Lambda Calculus. Its Syntax and Semantics 1.99. Book. Codice articolo BBS-9781848900660
Quantità: 5 disponibili
Foto dell'editore
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar2912160250663
Quantità: Più di 20 disponibili
Foto dell'editore
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9781848900660
Quantità: Più di 20 disponibili
Foto dell'editore
The Lambda Calculus. Its Syntax and Semantics
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9781848900660
Quantità: Più di 20 disponibili
Foto dell'editore
The Lambda Calculus Its Syntax and Semantics Studies in Logic
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9781848900660
Quantità: Più di 20 disponibili
Foto dell'editore
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)
Editore:
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Antico o usato
Brossura
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Poor. Volume 40. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Book contains pen markings. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9781848900660. Codice articolo 9195171
Quantità: 1 disponibili