Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Lambda Calculus with Types

Lambda Calculus with Types

von Richard Statman, Henk (Radboud Universiteit Nijmegen) Barendregt, Wil (Radboud Universiteit Nijmegen) Dekkers

enthalten in Perspectives in Logic-Reihe

Lambda Calculus with Types von Richard Statman
Über Lambda Calculus with Types

Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780521766142
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 856
  • Veröffentlicht:
  • 20 Juni 2013
  • Abmessungen:
  • 249x179x49 mm.
  • Gewicht:
  • 1614 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Richard Statman

Alle Bücher von Richard Statman anzeigen

Beschreibung von Lambda Calculus with Types

Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.

Kund*innenbewertungen von Lambda Calculus with Types



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Lambda Calculus with Types ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.