On the logical structure of some choice, maximality, bar induction, and well-foundedness principles
Hugo Herbelin (INRIA)
Fri Apr 4, 14:00-15:00 (8 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