Bidirectional translation between analytic closure proofs and law-level admissibility

Related research programmes

• Mathematical Foundations →

Cite this paper

Jeremy Rodgers. Bidirectional translation between analytic closure proofs and law-level admissibility.