De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521054225
  • Indbinding:
  • Paperback
  • Sideantal:
  • 200
  • Udgivet:
  • 21. januar 2008
  • Størrelse:
  • 154x227x13 mm.
  • Vægt:
  • 310 g.
  • 8-11 hverdage.
  • 7. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af 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.

Brugerbedømmelser af Basic Simple Type Theory



Find lignende bøger
Bogen Basic Simple Type Theory findes i følgende kategorier: