Notes

• Software Foundations Volume 2: Programming Language Foundation
• Software Foundations Volume 1: Logical Foundations
• Certified Programming with Dependent Types