History and philosophy of constructive type theory - Sommaruga, Giovanni (Kluwer, 2000)