Basic Simple Type Theory
- Indbinding:
- Paperback
- Sideantal:
- 200
- Udgivet:
- 21. januar 2008
- Størrelse:
- 154x227x13 mm.
- Vægt:
- 310 g.
- 8-11 hverdage.
- 27. november 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.
- 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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Basic Simple Type Theory findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621