Primitive recursive algebraic theories with applications to program schemes

K�ühnel, W.Meseguer Guaita, JoséPfender, MichaelSols Lucía, Ignacio2023-06-212023-06-2119750008-0004https://hdl.handle.net/20.500.14352/64864Deuxième colloque sur l´algèbre des catégories. Amiens-1975. Résumés des conférences.Primitive recursive algebraic theories with applications to program schemesjournal articlehttp://www.numdam.org/numdam-bin/browse?j=CTGDC&sl=0http://www.numdam.org/?lang=enmetadata only access517Análisis matemático1202 Análisis y Análisis Funcional