On the logical structure of some choice, maximality, bar induction, and well-foundedness principles
Hugo Herbelin (INRIA)
04-Apr-2025, 14:00-15:00 (9 months ago)
logic
Audience: advanced learners
Series comments: Please contact the organizers for the link to the meeting
| Organizer: | Vincenzo Dimonte* |
| *contact for this listing |
Export talk to