Type-Theoretic Formal Methods in AI Governance: Verification Substrates Within Authorization Frameworks
Edward MeymanFERZ, Inc
SSRN Electronic Journalrepository2026
ABI
Abstract
No abstract available.
Topics
Identifiers
Citations and references
Cited by 00 references