Real and ideal in constructive mathematics
pp. 69-85
in: P. Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (eds), Epistemology versus ontology, Berlin, Springer, 2012Abstract
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.
