Ian Shillito
About
Publications
Teaching
Talks
CV

Ian Shillito

Ian Shillito

he/him

Logician formalising in Rocq

Melbourne, Australia
University of Melbourne
Email
Google Scholar
ORCID
GitHub

Non-compactness and converse well-foundedness

Australasian Logic Colloquium 2023, 2023

Ian Shillito

← All publications

GitHub

© 2026 Ian Shillito, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2026-09-13