Henk Barendregt Wil Dekkers Richard St Lambda Calculus with (Gebundene Ausgabe)
Ø 0.0
0 Bewertungen
161,63 €
Autor: Henk Barendregt, Wil Dekkers, Richard Statman. Produktart: Gebundene Ausgabe. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984).
Jetzt bei Ebay:
-
Buchtitel:Lambda Calculus with Types
-
EAN:9780521766142
-
ISBN:9780521766142
-
Genre:Science Nature & Math
-
Erscheinungsdatum:20.06.2013
-
Herstellungsland und -region:GB
-
Höhe:244mm
-
Länge:170mm
-
Breite:44mm
-
Gewicht:1550g
-
Buchreihe:Perspectives in Logic
-
Produktart:Lehrbuch
-
Format:Gebundene Ausgabe
-
Erscheinungsjahr:2014
-
Anzahl der Seiten:856 Seiten
-
Autor:Henk Barendregt
-
Verlag:Cambridge University Press
-
Publikationsname:Lambda Calculus With Types
-
Sprache:Englisch
-
Standard Shipping from outside:Standardversand aus dem Ausland kostenlos - Lieferung zwischen 12. June 2025 und 20. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Weltweit
-
Versand ausgeschlossen:Russische Föderation , Frankreich , Großbritannien , Irland , Italien , Schweiz , Spanien , Ukraine , Belarus , Australien , ... und weitere
