Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL
Über Basic Simple Type Theory

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780521054225
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 200
  • Veröffentlicht:
  • 21. Januar 2008
  • Abmessungen:
  • 154x227x13 mm.
  • Gewicht:
  • 310 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Basic Simple Type Theory

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

Kund*innenbewertungen von Basic Simple Type Theory



Ähnliche Bücher finden
Das Buch Basic Simple Type Theory 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.