Anjolina Grisi de Oliveira

37 papers C 5Journal 24Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums.
CoRR
Arthur F. Ramos, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Tiago Mendonça Lucena de Veras
2025 J jnl
Computational Paths Form a Weak ω-Groupoid.
CoRR
Arthur F. Ramos, Tiago M. L. de Veras, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2025 J jnl
Computational paths - a weak groupoid.
J. Log. Comput.
Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2025 J jnl
Formalizing Computational Paths and Fundamental Groups in Lean.
CoRR
Arthur F. Ramos, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Tiago M. L. de Veras
2025 J jnl
The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups.
CoRR
Arthur F. Ramos, Tiago Mendonça Lucena de Veras, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2020 J jnl
Computational Paths - A Weak Groupoid.
CoRR
Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira
2019 J jnl
A Topological Application of Labelled Natural Deduction.
CoRR
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2019 J jnl
An alternative approach to the calculation of fundamental groups based on labeled natural deduction.
CoRR
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2019 J jnl
Propositional intuitionistic multiple-conclusion calculus via proof graphs.
Log. J. IGPL
Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2018 J jnl
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths.
CoRR
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2018 J jnl
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory.
CoRR
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras
2018 J jnl
Sequentialization for full N-Graphs via sub-N-Graphs.
CoRR
Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2017 J jnl
On the identity type as the type of computational paths.
Log. J. IGPL
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2016 J jnl
Computational Paths and Identity Types.
CoRR
Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2015 C ed.
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
WoLLIC
Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira
2015 — conf
Normalization of N-Graphs via Sub-N-Graphs.
LSFA
Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2015 J jnl
On Computational Paths and the Fundamental Groupoid of a Type.
CoRR
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2015 J jnl
On the Groupoid Model of Computational Paths.
CoRR
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2015 J jnl
On the Identity Type as the Type of Computational Paths.
CoRR
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2014 J jnl
Intuitionistic N-Graphs.
Log. J. IGPL
Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva
2014 J jnl
Sequences of Rewrites: A Categorical Interpretation.
CoRR
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2014 C conf
Sequentialization for N-Graphs via Sub-N-Graphs.
WoLLIC
Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2013 C conf
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.
WoLLIC
Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2011 J jnl
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property.
Fundam. Informaticae
Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2011 J jnl
Propositional equality, identity types, and direct computational paths
CoRR
Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2011 — book
The Functional Interpretation of Logical Deduction
Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Dov M. Gabbay
2010 J jnl
Modelling and querying geographical data warehouses.
Inf. Syst.
Joel da Silva, Anjolina Grisi de Oliveira, Robson do Nascimento Fidalgo, Ana Carolina Salgado, Valéria Cesário Times
2010 — conf
The Functional Interpretation of Direct Computations.
LSFA
Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2009 — ch.
A Metamodel for the Specification of Geographical Data.
New Trends in Data Warehousing and Data Analysis
Valéria Cesário Times, Robson do Nascimento Fidalgo, Rafael Leão da Fonseca, Joel da Silva, Anjolina Grisi de Oliveira
2009 J jnl
The impact of spatial data redundancy on SOLAP query performance.
J. Braz. Comput. Soc.
Thiago Luís Lopes Siqueira, Cristina Dutra de Aguiar Ciferri, Valéria Cesário Times, Anjolina Grisi de Oliveira, Ricardo Rodrigues Ciferri
2009 C conf
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization.
WoLLIC
Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2008 C conf
A set of aggregation functions for spatial measures.
DOLAP
Joel da Silva, Valéria Cesário Times, Ana Carolina Salgado, Clenúbio Souza, Robson do Nascimento Fidalgo, Anjolina Grisi de Oliveira
2008 — conf
Especificação e Avaliação de Algoritmos para Processamento Multidimensional-Geográfico.
SBBD
Vivianne Medeiros, Robson do Nascimento Fidalgo, Valéria Cesário Times, Ana Carolina Salgado, Marcília A. Campos, Anjolina Grisi de Oliveira, Joel da Silva
2007 — conf
Querying Geographical Data Warehouses With GeoMDQL.
SBBD
Joel da Silva, Ausberto S. Castro Vera, Anjolina Grisi de Oliveira, Robson do Nascimento Fidalgo, Ana Carolina Salgado, Valéria Cesário Times
2005 — conf
A New Basic Set of Transformations between Proofs.
We Will Show Them! (2)
Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
2003 — ch.
Geometry of Deduction Via Graphs of Proofs.
Logic for Concurrency and Synchronisation
Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
1999 J jnl
A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction.
Log. J. IGPL
Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz