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

Constructive algebraic completeness of first-order bi-intuitionistic logic

TYPES 2025, 2025

Dominik Kirst and Ian Shillito

← All publications

GitHub

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