History and philosophy of constructive type theory - Sommaruga, Giovanni (Dordrecht : Kluwer Academic, 2000)
Bibliography : p. 349-354
Keywords: Type theory