Pedro Miguel dos Santos Pinto defende a tese "Proof mining with the bounded functional interpretation".