Type theory

Books

• Intuitionistic Type Theory by Per Martin-Löf
• Proofs and types