Proof Theory and Theoretical Computer Science

Special session A25 of the 2nd AMS-UMI International Joint Meeting [Palermo, July 23-24 2024]