Logic Colloquium 2022

Speaker

Alexis Saurin

Personal page
Talks at this conference:
 Wed, 12:00 Computer Science Logic - On the dynamics of cut-elimination for circular and non-wellfounded proofs ! Live

 Overview

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