Talk Details
Speaker: Giovanni Sambin (remote)
Event: Types and Topology Workshop in Honour of Martin Escardo’s 60th Birthday
Date: Wednesday 17 December 2025
Time: 16:40
Notes
This was an informal address given remotely by Giovanni Sambin as part of the celebration of Martin Escardo’s 60th birthday. No abstract was provided for this presentation.
Related Topics
- Constructive mathematics
- Point-free topology
- Basic pairs
- Formal topology
Connection to Workshop Theme
Sambin’s work on constructive topology and formal methods has connections to several themes explored throughout the workshop, particularly in relation to constructive approaches to mathematics and topology.