Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 2025