Work

A Monadic Calculus with Episodic Flows

Year: 2024
Type: preprint
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.
Language: English
Open Access status: green
OpenAlex ID: W4405300865
Cites:
Cited by:
Related to: 10