• DML-CZ Home
• Archivum Mathematicum

Author: Mijoule, Richard

• Mijoule, Richard: La théorie des fonctions indexées en récursivité. (French) [The theory of indexed functions in recursion]. Archivum Mathematicum, vol. 23 (1987), issue 4, pp. 191-206