Abstract Recursion is a mature, well-understood topic in the theory and practice of programming. Yet its dual, corecursion underappreciated still seen as exotic. We aim to put them both on equal footing by giving foundation for primitive based computation, terminating calculus analogous original computational recursion. show how implementation details an abstract machine strengthens their conne...