RQ
Ruy J. G. B. de Queiroz
cs.LOcs.FLmath.ATmath.HOmath.CTcs.CRmath.LO
On Valency
published · living versionsW_7yhnzhrm·v1 · currentpublished
A Lean Certificate for the Single Source Unsplittable Flow Cost Counterexample
with Arthur, David Barros Hulak
1 version
Preprints & journals
26 papers in the corpus · 2011–2025The $K_\infty$ Homotopy $\lambda$-Model2505.07103v3 · Daniel O. Mart'inez-Rivillas, Ruy J.G.B. de Queiroz2025 · 0 citationsarXiv
The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups2512.03175v3 · Arthur F. Ramos, Tiago M. L. de Veras, Ruy J. G. B. de Queiroz et al.2025 · 0 citationsarXiv
Computational Paths Form a Weak {\omega}-Groupoid2512.00657v1 · Arthur F. Ramos, Tiago M. L. de Veras, Ruy J. G. B. de Queiroz et al.2025 · 0 citationsarXiv
Formalizing Computational Paths and Fundamental Groups in Lean2511.19142v2 · Arthur F. Ramos, Anjolina G. de Oliveira, Ruy J. G. B. de Queiroz et al.2025 · 0 citationsarXiv
Meaning as Use, Application, Employment, Purpose, Usefulness2506.07131v2 · Ruy J. G. B. de Queiroz2025 · 0 citationsarXiv
Solving Homotopy Domain Equations2104.01195v3 · Daniel O. Mart'inez-Rivillas, Ruy J.G.B. de Queiroz2021 · 1 citationarXiv
From the Notebooks to the Investigations and Beyond2504.18949v1 · Ruy J.G.B. de Queiroz2025 · 1 citationarXiv
Computational Paths -- An approach in the $LND_{EQ}-TRS_{2}$ system2007.07769v3 · Tiago M. L. Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz et al.2020 · 0 citationsarXiv
The Theory of an Arbitrary Higher $\lambda$-Model2111.07092v3 · Daniel O. Mart'inez-Rivillas, Ruy J.G.B. de Queiroz2021 · 4 citationsarXiv
From Tractatus to Later Writings and Back -- New Implications from the Nachlass2304.11203v1 · Ruy J.G.B. de Queiroz2023 · 1 citationarXiv
Towards a Homotopy Domain Theory2007.15082v8 · Daniel O. Mart'inez-Rivillas, Ruy J.G.B. de Queiroz2020 · 9 citationsarXiv
A Topological Application of Labelled Natural Deduction1906.09105v4 · Tiago M. L.Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz et al.2019 · 6 citationsarXiv
The $\infty$-groupoid generated by an arbitrary topological $\lambda$-model1906.05729v3 · Daniel O. Mart'inez-Rivillas, Ruy J.G.B. de Queiroz2019 · 0 citationsarXiv
Capivara: A decentralized package version control using Blockchain1907.12960v1 · Felipe Zimmerle da N. Costa, Ruy J. Guerra B. de Queiroz2019 · 2 citationsarXiv
An alternative approach to the calculation of fundamental groups based on labeled natural deduction1906.09107v1 · Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz et al.2019 · 3 citationsarXiv
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths1804.01413v2 · Tiago Mendonca Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz et al.2018 · 1 citationarXiv
Explicit Computational Paths1609.05079v3 · Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira2016 · 3 citationsarXiv
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory1803.01709v1 · Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira et al.2018 · 0 citationsarXiv
Sequentialization for full N-Graphs via sub-N-Graphs1803.00555v1 · Ruan V. B. Carvalho, Lais S. Andrade, Anjolina G. de Oliveira et al.2018 · 0 citationsarXiv
On the Groupoid Model of Computational Paths1506.02721v2 · Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira2015 · 1 citationarXiv
Formalization of simplification for context-free grammars1509.02032v2 · Marcus V. M. Ramos, Ruy J. G. B. de Queiroz2015 · 1 citationarXiv
Formalization of the pumping lemma for context-free languages1510.04748v1 · Marcus V. M. Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira et al.2015 · 5 citationsarXiv
On Computational Paths and the Fundamental Groupoid of a Type1509.06429v1 · Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina de Oliveira2015 · 2 citationsarXiv
Formalization of closure properties for context-free grammars1506.03428v1 · Marcus V. M. Ramos, Ruy J. G. B. de Queiroz2015 · 1 citationPreliminary Proceedings of the 9th Workshop on Logical and Semantic Frameworks, with Applications, LSFA'14 (2014), pp. 187-198
Sequences of Rewrites: A Categorical Interpretation1412.2105v2 · Arthur Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira2014 · 1 citationarXiv
Propositional equality, identity types, and direct computational paths1107.1901v3 · Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira2011 · 14 citationsarXiv
Career total: 133 works. 26 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.