RT Journal Article
T1 Primitive recursive algebraic theories and program schemes
A1 Kühnel, W.
A1 Meseguer Guaita, José
A1 Pfender, Michael
A1 Sols Lucía, Ignacio
PB Cambridge University Press
SN 0004-9727
YR 1977
FD 1977
LK https://hdl.handle.net/20.500.14352/64833
UL https://hdl.handle.net/20.500.14352/64833
LA eng
DS Docta Complutense
RD 16 abr 2025