Logic Colloquium 2022

Speaker

Cheng-Syuan Wan

Talks at this conference:
 Thu, 11:50 Proof Theory of Skew Non-Commutative MILL. ! Live

 Overview

If you encounter any issues with this website, please get in touch with Léo Exibard.