, 2014, Recursive functions and constructive mathematics, in J. Dubucs & M. Bourdeau (eds.), Constructivity and computability in historical and philosophical perspective, Dordrecht, Springer, pp. 159-167.
with Jaber, G. , 2012a, A computational interpretation of forcing in type theory, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 203-213.