Published January 27, 2026
| Version v2
Technical note
Open
The Mathematics of Execution.
Authors/Creators
Description
The Mathematics of Execution.
This paper covers the algebraic properties and concepts of `The Execution Semantics' paper by El Mahrouss, A (2026). It is intended as an additional resource over the aforementioned paper.
Files
tn001.05.pdf
Files
(108.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:98c6daf8e50f3568ff34a2150ff8de1d
|
108.5 kB | Preview Download |
Additional details
Related works
- Is part of
- Publication: 10.5281/ZENODO.18366611 (DOI)
Software
- Repository URL
- https://github.com/nekernel-org/papers
- Programming language
- Coq
- Development Status
- Active