History and philosophy of constructive type theory - Sommaruga, Giovanni (Kluwer, 2000)
Keywords: Types, Théorie des; Wetenschapsfilosofie; Wissenschaftstheorie; Type theory; Martin-Löf-Typentheorie