Videos found: 3.
2025/02/07
José Espírito Santo
An extension of the Curry-Howard correspondence to proof search
2024/04/11
Bruno Loff
Why is solving the P vs NP problem so hard?
2022/11/15
Olga Pombo
O Lugar de Leibniz na História da Lógica
