Book | Chapter
(2012) Epistemology versus ontology, Dordrecht, Springer.
Certain periods of life look as if they will last for ever. Then suddenly one is struck by the realization that time has gone by and that the period in question has become part of the past. Over 30 years have passed since Per Martin-Löf first came to Padua to give a course on his type theory.
Publication details
DOI: 10.1007/978-94-007-4435-6_4
Full citation:
Sambin, G. (2012)., Real and ideal in constructive mathematics, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 69-85.
This document is unfortunately not available for download at the moment.