paper recently published on the subject of the talk

wmacmil committed Oct 12, 2021

Add link to video recording

bafain committed Dec 9, 2020

Move CoC.md to Impredicativity.md

bafain committed Nov 30, 2020