Published January 28, 2026
| Version v4
Publication
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
(112.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1a98782a71c9ad6eabd5782ae776cfb0
|
112.4 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