IGNACIO
SOLS LUCÍA
Investigador fins a 2019
Universidade de Santiago de Compostela
Santiago de Compostela, EspañaPublicacions en col·laboració amb investigadors/es 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