TY  - JOUR
AU  - K�ühnel, W.
AU  - Meseguer Guaita, José
AU  - Pfender, Michael
AU  - Sols Lucía, Ignacio
PY  - 1975
SN  - 0008-0004
UR  - https://hdl.handle.net/20.500.14352/64864
T2  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
M2  - 271
PB  - NUMDAM (Numérisation de Documents Anciens Mathématiques)
TI  - Primitive recursive algebraic theories with applications to program schemes
TY  - journal article
VL  - 16
ER  -