Ian Shillito
Publications
Talks
Teaching
CV
Ian Shillito
he/him
Logician formalising in Rocq
Follow
Birmingham, UK
University of Birmingham
Email
Google Scholar
ORCID
GitHub
Page Not Found
Sorry, but the page you were trying to view does not exist.