Ian Shillito
About
Publications
Teaching
Talks
CV
Ian Shillito
he/him
Logician formalising in Rocq
Follow
Melbourne, Australia
University of Melbourne
Email
Google Scholar
ORCID
GitHub
Posts by Category
