| ∞-Groupoid Generated by an Arbitrary Topological λ-Model DO Martínez-Rivillas, RJGB De Queiroz Logic Journal of the IGPL 30 (3), 465-488, 2022 | 9 | 2022 |
| Towards a homotopy domain theory DO Martínez-Rivillas, RJGB de Queiroz Archive for Mathematical Logic 62 (3), 559-579, 2023 | 8 | 2023 |
| Solving homotopy domain equations DO Martínez-Rivillas, RJGB de Queiroz arXiv preprint arXiv:2104.01195, 2021 | 6 | 2021 |
| The Theory of an Arbitrary Higher -Model DO Martínez-Rivillas, RJGB de Queiroz Wydawnictwo Uniwersytetu Łódzkiego, 2023 | 5 | 2023 |
| The Theory of an Arbitrary Higher -Model D Martinez, RJGB de Queiroz | | 2023 |
| Towards a homotopy domain theory DOM RIVILLAS | | 2022 |
| Rumo a uma Teoria de Domínios da Homotopia DO Martínez-Rivillas, RJGB de Queiroz Encontro de Teoria da Computação (ETC), 102-105, 2021 | | 2021 |
| A 𝜆-model with∞-groupoid structure based in the Scott’s 𝜆-model D∞ DO MARTÍNEZ RIVILLAS Universidade Federal de Pernambuco, 2020 | | 2020 |
| Towards a Homotopy Domain Theory (HoDT). DO Martínez-Rivillas, RJGB de Queiroz CoRR, 2020 | | 2020 |
| A-model with∞-groupoid structure based in the Scott’s-model D∞ DO MARTÍNEZ RIVILLAS | | 2020 |
