Primitive recursive algebraic theories and program schemes
From MaRDI portal
Publication:4124981
DOI10.1017/S0004972700010431zbMath0354.18001MaRDI QIDQ4124981
Ignacio Sols, José Meseguer, 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