#
guarded-recursion
Here are 4 public repositories matching this topic...
-
Updated
Apr 15, 2018 - Coq
The Care Calculus: a mechanized linear type theory for safe agents — paper and Lean 4 development
reproducible-research type-theory programming-languages quantum-information formal-verification ai-safety linear-logic preprint guarded-recursion proof-theory lean4 coalgebra dual-use unitarity research-artifact substructural-logic mechanized-mathematics linear-type-theory no-cloning goal-content-integrity
-
Updated
Nov 12, 2026 - Lean
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
Add this topic to your repo
To associate your repository with the guarded-recursion topic, visit your repo's landing page and select "manage topics."