, 2012, Evolution and logic, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 129-138.
, 1987a, On a nonconstructive type theory and program derivation, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 331-340.