Abstract
(Provisional) I will present preliminary joint work with Danel Ahman on oracle modalities.
Talk Details
Speaker: Andrej Bauer (University of Ljubljana, Slovenia)
Event: Types and Topology Workshop in Honour of Martin Escardo’s 60th Birthday
Date: Thursday 18 December 2025
Time: 09:30
Related Topics
- Oracle modalities
- Excluded middle principle
- Constructive logic