Primitive recursive algebraic theories and program schemes
- Kühnel, W.
- Meseguer, J.
- Pfender, M.
- Sols, I.
ISSN: 1755-1633, 0004-9727
Année de publication: 1977
Volumen: 17
Número: 2
Pages: 207-233
Type: Article
ISSN: 1755-1633, 0004-9727
Année de publication: 1977
Volumen: 17
Número: 2
Pages: 207-233
Type: Article