AO
Anjolina Grisi de Oliveira
cs.LOmath.ATcs.FLmath.CT
On Valency
published · living versionsW_5r2h2bs9·v1 · currentpublished
Prime-Generated Localization Descent for Unique Factorization in Lean
with Arthur, David Barros Hulak, Ruy J. G. B. de Queiroz
1 version
Preprints & journals
14 papers in the corpus · 2011–2026Topological Semantics for Scoped Computational Paths2608.04228v3 · Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira et al.2026 · 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
A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums2512.09280v1 · Arthur Ramos, Anjolina Oliveira, Ruy 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
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
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
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: 52 works. 14 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.