Linear Types for Agent Safety - An Approach to Trustworthy AI Systems

Linear types applied to AI agent safety — a type system that enforces single-use for destructive operations and statically rejects unsafe agent code.