| Authors | Simon Thompson |
| Language | English |
| Type | public |
| Url | |
| Summary | Type theory, functional programming |
| Pages | 365 |
| Parts | 1 Introduction to Logic
2 Functional Programming and Lambda-Calculii
3 Constructive Mathematics
4 Introduction to Type Theory
5 Exploring Type Theory
6 Applying Type Theory
7 Augmenting Type Theory
8 Foundations
9 Conclusions |
|