Ian Shillito

- A multi-labelled sequent calculus for Topo-Logic, Journal of Logic and Computation (2020)
- Bi-Intuitionistic Types via Alternating Contexts, TYPES 2020 (2020)
- Bi-Intuitionistic Logics: A New Instance of an Old Problem, Advances in Modal Logic 2020 (2020)