| # | Paper | |
|---|---|---|
| 01 | The Minimal Runtime Axiom Runtime Is Proof of Ignorance: A Type-Theoretic and Category-Theoretic Formalization of the Compile-Time/Runtime Boundary | PDF ↗ |
| # | Paper | |
|---|---|---|
| 01 | The Minimal Runtime Axiom Runtime Is Proof of Ignorance: A Type-Theoretic and Category-Theoretic Formalization of the Compile-Time/Runtime Boundary | PDF ↗ |