P Dybjer , Sten Lindström , Erik Palmgren , Göran Sundholm (2012) Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf, Dordrecht, Springer.
pp. 281-311
This document is unfortunately not available for download at the moment.
