Types and Programming Languages
|
| < Free Open Study > |
|
2.5 Background Reading
If the material summarized in this chapter is unfamiliar, you may want to start with some background reading. There are many sources for this, but Winskel's book (1993) is a particularly good choice for intuitions about induction. The beginning of Davey and Priestley (1990) has an excellent review of ordered sets. Halmos (1987) is a good introduction to basic set theory.
A proof is a repeatable experiment in persuasion. -Jim Horning
|
| < Free Open Study > |
|