Verwandte Artikel zu The Lambda Calculus. Its Syntax and Semantics (Studies...
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 32,46
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für The Lambda Calculus. Its Syntax and Semantics (Studies...
Beispielbild für diese ISBN
The Lambda Calculus. Its Syntax and Semantics
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Seiten: 656 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 22916639/3
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 9195171
Anzahl: 1 verfügbar
Foto des Verkäufers
The Lambda Calculus. Its Syntax and Semantics
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. KlappentextThe 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, t. Bestandsnummer des Verkäufers 4287255
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The Lambda Calculus Its Syntax and Semantics Studies in Logic
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9781848900660
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9781848900660_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The Lambda Calculus. Its Syntax and Semantics
Print-on-DemandAnbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9781848900660
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Verlag:
College Publications 2012-04-30, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Neu
Paperback
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9781848900660
Anzahl: 10 verfügbar
Foto des Verkäufers
The Lambda Calculus. Its Syntax and Semantics
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers LU-9781848900660
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The Lambda Calculus. Its Syntax and Semantics
Verlag:
College Publications, 2012
ISBN 10: 184890066X
ISBN 13: 9781848900660
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 936. Bestandsnummer des Verkäufers C9781848900660
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
The Lambda Calculus. Its Syntax and Semantics
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 tothe 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. Bestandsnummer des Verkäufers 9781848900660
Anzahl: 1 verfügbar