CONSTRUCTIVE ANALYSIS, 1985. ,
DOI : 10.1017/CBO9780511565663.003
Constructive Mathematics, in Theory and Programming Practice, Centre for Discrete Mathematics and Theorical Computer Science, CDMTCS-068, p.1997 ,
Noncommutative Differential Geometry and the Structure of Space-Time, pp.49-80, 1998. ,
A first look into a formal and constructive approach for discrete geometry using nonstandard analysis, Discret Geometry for Computer Imagery, pp.21-32, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00347921
Eine Erweiterung der Infinitesimalrechnung, Mathematische Zeitschrift, vol.69, issue.1, pp.1-39, 1958. ,
DOI : 10.1007/BF01187391
Equations différentielles en nombres entiers, 1987. ,