RT Journal Article
T1 Primitive recursive algebraic theories with applications to program schemes
A1 K�ühnel, W.
A1 Meseguer Guaita, José
A1 Pfender, Michael
A1 Sols Lucía, Ignacio
PB NUMDAM (Numérisation de Documents Anciens Mathématiques)
SN 0008-0004
YR 1975
FD 1975
LK https://hdl.handle.net/20.500.14352/64864
UL https://hdl.handle.net/20.500.14352/64864
NO Deuxième colloque sur l´algèbre des catégories. Amiens-1975. Résumés des conférences.
DS Docta Complutense
RD 8 abr 2025