Didáctica de Ciencias Experimentales, Sociales y Matemáticas
Fachbereich
Universidade de Santiago de Compostela
Santiago de Compostela, EspañaPublikationen in Zusammenarbeit mit Forschern von Universidade de Santiago de Compostela (1)
1977
-
Primitive recursive algebraic theories and program schemes
Bulletin of the Australian Mathematical Society, Vol. 17, Núm. 2, pp. 207-233