Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Lambda Calculus. Its Syntax and Semantics

Henk Barendregt

Sprache

Englisch

Buch Broschur

Libristo-Code: 05190325

Verlag College Publications, April 2012

The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of... Vollständige Beschreibung

Libristo-Code: 05190325

80 b

32.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Basic Simple Type Theory J. Roger Hindley

Broschur

57.89 €

Categories for Types Crole

Broschur

99.19 €

From Mathematics to Generic Programming Alexander A Stepanov

Broschur

34.19 €

Princeton Companion to Mathematics Gowers

Hardcover

118.09 €

Modern Quantum Mechanics Jim Napolitano

Hardcover

80.89 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Lambda Calculus. Its Syntax and Semantics

Autor Henk Barendregt

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 656

EAN 9781848900660

ISBN 184890066X

Libristo-Code 05190325

Verlag College Publications

Gewicht 956

Abmessungen 226 x 158 x 36

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert