Search

Home > Federated Logic Conference (FLoC) 2018 > The Logic of Real Proofs
Podcast: Federated Logic Conference (FLoC) 2018
Episode:

The Logic of Real Proofs
Category: Technology
Duration: 01:06:11
Publish Date: 2018-07-16 08:35:08
Description: George Gonthier delivers a lecture at FLoc2018
Total Play: 0

Some more Podcasts by Oxford University

10+ Episodes
Ada Lovelace ..    
100+ Episodes
Uehiro Centr ..    
6 Episodes
German Polit .. 100+     20+
70+ Episodes
Water Securi .. 3     1
3 Episodes
Weatherall l .. 1     1
1 Episodes
Cancer in th .. 1     1
1 Episodes
Samuel Johns ..    
20+ Episodes
Faculty of C ..