Title: History and philosophy of constructive type theory
Subjects: Type theory, Mathematics, philosophy