H. Simmons (University of Manchester)

Derivation and Computation

• Gebundenes Buch

Produktbeschreibung

The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.

Produktdetails

• Cambridge Tracts in Theoretical Computer Science
• Verlag: Cambridge University Press
• Seitenzahl: 412
• Erscheinungstermin: 4. Januar 2016
• Englisch
• Abmessung: 235mm x 157mm x 29mm
• Gewicht: 668g
• ISBN-13: 9780521771733
• ISBN-10: 0521771730
• Artikelnr.: 22264241

Inhaltsangabe

Introduction
Preview
Part I. Development and Exercises: 1. Derivation systems
2. Computation mechanisms
3. The typed combinator calculus
4. The typed l-calculus
5. Substitution algorithms
6. Applied l-calculi
7. Multi-recursive arithmetic
8. Ordinals and ordinal notation
9. Higher order recursion
Part II. Solutions: A. Derivation systems
B. Computation mechanisms
C. The typed combinator calculus
D. The typed l-calculus
E. Substitution algorithms
F. Applied l-calculi
G. Multi-recursive arithmetic
H. Ordinals and ordinal notation
I. Higher order recursion
Postview
Bibliography
Commonly used symbols
Index.