Published January 25, 2026
| Version v2
Publication
Open
The Execution Semantics: On Axioms, Domains, and Authority.
Authors/Creators
Description
The Execution Semantics: On Axioms, Domains, and Authority.
This paper presents a foundational framework for execution semantics, consisting of three interconnected theories.
Files
wg05.pdf
Files
(96.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:8887724724eb4a074fee679ec2d3139b
|
96.1 kB | Preview Download |
Additional details
Related works
- Is referenced by
- Technical note: 10.5281/zenodo.18378576 (DOI)
Software
- Repository URL
- https://github.com/nekernel-org/papers
- Programming language
- Coq
- Development Status
- Active