Sala 6.2.56, FCUL, Lisboa
Pedro Miguel dos Santos Pinto defende a tese "Proof mining with the bounded functional interpretation".
14h30
Pedro Miguel dos Santos Pinto defende a tese "Proof mining with the bounded functional interpretation".