, 2011, Treatise on intuitionistic type theory, Springer, Dordrecht.
, 2016a, Perennial intuitionism, in J. Redmond, O. Martins & Ã. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, pp. 3-45.