Intensional classes and intuitionistic topoi
Neil Barton (Universität Konstanz)
09-Dec-2020, 15:00-16:30 (3 years ago)
logic
Audience: researchers in the topic
Series comments: To attend please send a request to bagaria@ub.edu and we'll send you the link.
| Organizers: | Joan Bagaria*, Claudio Ternullo*, Philipp Lücke* |
| *contact for this listing |
Export talk to