Département
Didáctica de Ciencias Experimentales, Sociales y Matemáticas
Articles (1) Publications auxquelles un chercheur a participé
1977
-
Primitive recursive algebraic theories and program schemes
Bulletin of the Australian Mathematical Society, Vol. 17, Núm. 2, pp. 207-233