Paulo Oliva
Queen Mary University of London
H-index: 19
Europe-United Kingdom
Top articles of Paulo Oliva
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Higher-order games with dependent types | Theoretical Computer Science | Martín Escardó Paulo Oliva | 2023/9/29 |
Kripke semantics for intuitionistic Łukasiewicz logic | Studia Logica | Andrew Lewis-Smith Paolo Oliva Edmund Robinson | 2021/4 |
Sorting and filtering as effective rational choice procedures | Philipp Zahn Paulo Oliva | 2021 | |
On rational choice and the representation of decision problems | Games | Paulo Oliva Philipp Zahn | 2021/11/9 |
A Parametrised Functional Interpretation of Affine Logic | Bruno Dinis Paulo Oliva | 2021/6/27 | |
A parametrised functional interpretation of Heyting arithmetic | Annals of Pure and Applied Logic | Bruno Dinis Paulo Oliva | 2021/4/1 |
Double Negation Semantics for Generalisations of Heyting Algebras | Studia Logica | Rob Arthan Paulo Oliva | 2021/4 |
Kripke Semantics for Intuitionistic Lukasiewicz Logic | Studia Logica: an international journal for symbolic logic | LS Andrew P Oliva E Robinson | 2020 |
On the Borel-Cantelli Lemmas, the Erd\H {o} sR\'enyi Theorem, and the Kochen-Stone Theorem | arXiv preprint arXiv:2012.09942 | Rob Arthan Paulo Oliva | 2020/12/17 |
Parametrised functional interpretations | arXiv preprint arXiv:2005.05794 | Bruno Dinis Paulo Oliva | 2020/5/12 |
On the Herbrand functional interpretation | Mathematical Logic Quarterly | Paulo Oliva Chuangjie Xu | 2020/3 |