From Proof Nets to Combinatorial Proofs - A New Approach to Hilbert's 24th Problem
Abstract
These are the slides and lecture notes for a 5x90min course given online via Zoom at ESSLLI 2021.
Origin : Files produced by the author(s)