Wormshop 2024

Speaker

Alex Kavvos

University of Bristol

Talks at this conference:

 Tue, 14:45 Two-dimensional Kripke semantics
Invited Talks

 Overview