Adrian Miranda
Research
Talks
Teaching
Outreach
CV
Adrian Miranda
Australian Category theorist with an interest in logic
Follow
Manchester
Email
Twitter
Github
Google Scholar
PubMed
ORCID
Posts by Category