Some Remarks on Conway and Iteration Theories
Not on the map. Why?
Abstract (arXiv)
We present an axiomatization of Conway theories which yields,as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 2 Mar 2016.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2023: 1.
1 paper.
- 2023Shades of Iteration: from Elgot to Kleenecited by 0
- 2023Shades of Iteration: from Elgot to Kleene15 Jan 2023