Machine-checked model in Rocq establishes that governance is coterminous with expressibility via four primitive constructors in a symmetric monoidal category with capability bounds and verified coherence.
Lucassen and David K
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
Effect systems are formally related to abstract interpretations via embeddings of effect quantales into abstract domains and recovery of quantales as event-based interpretations.
AI agents can generate code in a capability-safe Scala dialect that statically prevents information leakage and malicious side effects while preserving task performance.
citing papers explorer
No citing papers match the current filters.