A Monadic Calculus with Episodic Flows
Symbolic Computation
2025-01-23 v2
Abstract
We define computational atoms named "actions" equipped primarily with three operations: reduction, collection, and inspection. We show how actions can be used for decision-making algorithms from simple axioms. We describe the encodings of typical data structures as actions, and provide a method of analysis for algorithms on the basis of data mutation.
Cite
@article{arxiv.2412.07939,
title = {A Monadic Calculus with Episodic Flows},
author = {Sotirios Henning},
journal= {arXiv preprint arXiv:2412.07939},
year = {2025}
}
Comments
18 pages, 2 figures