Spara
Lambda Calculus
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
- Undertitel
- Its Syntax and Semantics
- Författare
- H.P. Barendregt
- ISBN
- 9780080933757
- Språk
- Engelska
- Utgivningsdatum
- 2013-07-10
- Förlag
- ELSEVIER SCIENCE
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
