A Bidirectional Translation Between Analytic Closure Proofs and Law-Level Admissibility

Authors: Jeremy Rodgers

DOI: 10.5281/zenodo.18373510

PDF: Download

Role: Bidirectional translation between analytic closure proofs and law-level admissibility