[Revised entry by Thierry Coquand on September 6, 2022.
Changes to: Main text, Bibliography]
The topic of type theory is fundamental both in logic and computer science. We limit ourselves here to sketch some aspects that are important in logic. For the importance of types in computer science, we refer the reader for instance to Reynolds 1983 and 1985….
Originally appeared on Stanford Encyclopedia of Philosophy Read More