Proof Invariance: Embedding Hyperformalism in Justifications. - Blane Worley (Australas. J. Log., 2025)

Hyperformalism for Bunched Natural Deduction Systems. - Shay Allen Logan; Blane Worley (J. Philos. Log., 2025)