Georges Gonthier: The Logic of Real Proofs
Channel: Federated Logic Conference FLoC 2018
Date: 2018-07-24

Keynote lecture at the Federated Logic Conference, 14 July 2018 - see http://www.floc2018.org/speaker/georges-gonthier/ for details.