Cover Image

Saved in:
Bibliographic Details
Main Author: Carroll, Jeremy H.
Format: Recurso digital
Language:English
Published: Zenodo 2026
Subjects:
Finite Descent Authority
Finite Obstruction Calculus
applied proof theory
category theory
finite reasoning
Semantics
obstruction calculus
obstruction theory
Mathematical logic
verification theory
formal methods
finite certified regime
proof certificates
authority factorization
LLM
no silent mutation
finite authority systems
Online Access:https://doi.org/10.5281/zenodo.20195157
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.5281/zenodo.20195157

Similar Items