Entities · People
Alan McCann
5 articles tagged with this entity.
-
Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
-
Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
-
Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
-
Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
-
The Two Boundaries: Why Behavioral AI Governance Fails Structurally