TY  - JOUR
AU  - Kühnel, W.
AU  - Meseguer Guaita, José
AU  - Pfender, Michael
AU  - Sols Lucía, Ignacio
PY  - 1977
DO  - 10.1017/S0004972700010431
SN  - 0004-9727
UR  - https://hdl.handle.net/20.500.14352/64833
T2  - Bulletin of the Australian Mathematical Society
LA  - eng
M2  - 207
PB  - Cambridge University Press
TI  - Primitive recursive algebraic theories and program schemes
TY  - journal article
VL  - 17
ER  -