Exploring bidirectional typing for the Semi-Axiomatic sequent calculus - Borg, Benjamin (2023) (University of Malta Faculty of Information and Communication Technology. Department of Computer Science, 2023)