New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics Mechanized in Coq
Published in Australian University, 2023
Recommended citation: Shillito, Ian. (2023). "New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics Mechanized in Coq" PhD thesis, Australian National University.
Download Paper