Paulo Oliva
Queen Mary University of London
H-index: 19
Europe-United Kingdom
Top articles of Paulo Oliva
Higher-order games with dependent types
Theoretical Computer Science
2023/9/29
Paulo Oliva
H-Index: 12
On rational choice and the representation of decision problems
Games
2021/11/9
Paulo Oliva
H-Index: 12
Philipp Zahn
H-Index: 6
A Parametrised Functional Interpretation of Affine Logic
2021/6/27
Paulo Oliva
H-Index: 12
A parametrised functional interpretation of Heyting arithmetic
Annals of Pure and Applied Logic
2021/4/1
Paulo Oliva
H-Index: 12
Double Negation Semantics for Generalisations of Heyting Algebras
Studia Logica
2021/4
Paulo Oliva
H-Index: 12
Sorting and filtering as effective rational choice procedures
2021
Philipp Zahn
H-Index: 6
Paulo Oliva
H-Index: 12
Kripke Semantics for Intuitionistic Lukasiewicz Logic
Studia Logica: an international journal for symbolic logic
2020
On the Borel-Cantelli Lemmas, the Erd\H {o} sR\'enyi Theorem, and the Kochen-Stone Theorem
arXiv preprint arXiv:2012.09942
2020/12/17
Paulo Oliva
H-Index: 12
Parametrised functional interpretations
arXiv preprint arXiv:2005.05794
2020/5/12
Paulo Oliva
H-Index: 12
On the Herbrand functional interpretation
Mathematical Logic Quarterly
2020/3
Paulo Oliva
H-Index: 12