Primitive recursive algebraic theories and program schemes
From MaRDI portal
Publication:4124981
DOI10.1017/S0004972700010431zbMath0354.18001MaRDI QIDQ4124981
José Meseguer, Ignacio Sols, Michael Pfender, Wolfgang Kuehnel
Publication date: 1977
Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)
Related Items
Semantics of algorithmic languages, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, Varieties of chain-complete algebras
Cites Work