Skip navigation

Ian Shillito

PhD Student

Research Area:

Logic

Hanna Neumann Blg 145, 2.27

ian.shillito@anu.edu.au

Publications

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)

Updated: 1 June 2019/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing