Practical foundations of mathematics
Choice Reviews Online · 2000
1. First order reasoning 2. Types and induction 3. Posets and lattices 4. Cartesian closed categories 5. Limits and colimits 6. Structural recursion 7. Adjunctions 8. Algebra with dependent types 9. The quantifiers.