Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Lambda Kalkül mit Typen von Henk Barendregt (Englisch) Hardcover Buch

Ø 0.0
0 Bewertungen
150,94 €

Lambda Calculus With Types by Henk Barendregt, Wil Dekkers, Richard Statman. Author Henk Barendregt, Wil Dekkers, Richard Statman. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and has been treated in the first author's classic The Lambda Calculus (1984).

Jetzt bei Ebay: