Abstract
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.
Cite
CITATION STYLE
APA
Sambin, G. (2012). Real and ideal in constructive mathematics. In Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of per Martin-Lof (pp. 69–85). Springer Netherlands. https://doi.org/10.1007/978-94-007-4435-6_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free