Primitive recursive algebraic theories and program schemes
- Kühnel, W.
- Meseguer, J.
- Pfender, M.
- Sols, I.
ISSN: 1755-1633, 0004-9727
Year of publication: 1977
Volume: 17
Issue: 2
Pages: 207-233
Type: Article
ISSN: 1755-1633, 0004-9727
Year of publication: 1977
Volume: 17
Issue: 2
Pages: 207-233
Type: Article