Towards compact semantics for intuitionistic provability logic
Australasian Logic Colloquium 2023, 2023
Ian Shillito
he/him
Logician formalising in Rocq
- Melbourne, Australia
- University of Melbourne
- Google Scholar
- ORCID
- GitHub
Australasian Logic Colloquium 2023, 2023