Primitive recursive algebraic theories and program schemes
- Kühnel, W.
- Meseguer, J.
- Pfender, M.
- Sols, I.
ISSN: 1755-1633, 0004-9727
Año de publicación: 1977
Volumen: 17
Número: 2
Páginas: 207-233
Tipo: Artículo
ISSN: 1755-1633, 0004-9727
Año de publicación: 1977
Volumen: 17
Número: 2
Páginas: 207-233
Tipo: Artículo