Paulo Oliva

Paulo Oliva

Queen Mary University of London - London / United Kingdom
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1368646
person_outline Paulo Oliva's MOST POPULAR ARTICLES
1-) Bounded functional interpretationF Ferreira, P OlivaAnnals of Pure and Applied Logic 135 (1-3), 73-112, 20051022005
2-) Proof mining: a systematic way of analyzing proofs in mathematicsU Kohlenbach, P OlivaТруды Математического института имени ВА Стеклова 242 (0), 147-175, 20031022003
3-) Modified bar recursion and classical dependent choiceU Berger, P OlivaLogic Colloquium 1, 89-107, 2001832001
4-) Selection functions, bar recursion and backward inductionM Escardó, P OlivaMathematical structures in computer science 20 (2), 127-168, 2010732010
5-) Sequential games and optimal strategiesM Escardó, P OlivaProceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2011532011