IGNACIO
SOLS LUCÍA
Chercheur jusqu' 2019
Universidade de Santiago de Compostela
Santiago de Compostela, EspañaPublications en collaboration avec des chercheurs de 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