Primitive recursive algebraic theories and program schemes

DOI10.1017/S0004972700010431zbMath0354.18001OpenAlexW2056848060MaRDI 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)

Full work available at URL: https://doi.org/10.1017/s0004972700010431

Mathematics Subject Classification ID

Algorithms in computer science (68W99) Foundations, relations to logic and deductive systems (18A15)

Related Items (3)

Varieties of chain-complete algebras ⋮ Semantics of algorithmic languages ⋮ Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories

Cites Work

• Unnamed Item
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Algebra automata I: Parallel programming as a prolegomena to the categorical approach
• Adjoint triangles
• Automata in general algebras

This page was built for publication: Primitive recursive algebraic theories and program schemes