Publication:3879225
From MaRDI portal
zbMath0438.03047MaRDI QIDQ3879225
Publication date: 1979
iteration; branching; recursiveness; additional algebraic structure; normal form theorem for recursive morphisms; partially ordered categories
06F99: Ordered structures
18B20: Categories of machines, automata
18D99: Categorical structures
03D75: Abstract and axiomatic computability and recursion theory