scientific article; zbMATH DE number 3607477

MaRDI QIDQ4172900zbMATH OpenFDO

Authors Hans-Jürgen Hoehnke

Publication date 1977

zbMATH Keywords

Free AlgebrasFree Turing AlgebrasGenerating AlgebrasIdempotent SemigroupsPartial AlgebrasProgramsTuring AlgebrasTuring MachinesUniversal Algebras

Mathematics Subject Classification ID

Free algebras (08B20) Categories of machines, automata (18B20) Semigroups in automata theory, linguistics, etc. (20M35) General topics in the theory of software (68N01)

Cited in

(4)

• Categories of partial maps
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4172900)