Infinitésimaux et intuitionnisme Jacques Penon (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Interpretationen der Heyting-Arithmetik endlicher Typen. Martin Stein (1978) Archiv für mathematische Logik und Grundlagenforschung