Type-Theoretic Formal Methods in AI Governance: Verification Substrates Within Authorization Frameworks

SSRN Electronic Journal 2026 Preprint Open access

Read full text
Authors: Edward Meyman
DOI: 10.2139/ssrn.6133366
Cited by: 0
References: 1

Fields of Study & Subjects

Logic programming and type systems Ethics and Social Impacts of AI Formal Methods in Verification

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Document type
Preprint