The Guarded Line: metacircular proof theory and self-model dynamics — paper, citation ledger, and gates
normalization linear-logic preprint self-reference guarded-recursion proof-theory cut-elimination strange-loop coalgebra dual-use self-model structural-correspondence later-modality metacircular-computation
-
Updated
Nov 12, 2026 - Shell