Anjolina de Oliveira

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computational paths -- a weak groupoid Journal of Logic and Computation	2025-10-15	Paper
Propositional intuitionistic multiple-conclusion calculus via proof graphs Logic Journal of the IGPL	2019-11-04	Paper
On the identity type as the type of computational paths Logic Journal of the IGPL	2019-01-08	Paper
Normalization of N-graphs via sub-N-graphs	2018-04-23	Paper
Natural Deduction for Equality: The Missing Entity Trends in Logic	2015-05-22	Paper
The functional interpretation of direct computations Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
Intuitionistic N-graphs Logic Journal of the IGPL	2015-02-27	Paper
Sequentialization for n-graphs via sub-n-graphs Logic, Language, Information, and Computation	2015-01-13	Paper
Sequences of Rewrites: A Categorical Interpretation	2014-12-05	Paper
Linear time proof verification on N-graphs: a graph theoretic approach Logic, Language, Information, and Computation	2013-09-17	Paper
Proof-graphs: a thorough cycle treatment, normalization and subformula property Fundamenta Informaticae	2011-11-22	Paper
The functional interpretation of logical deduction	2011-09-13	Paper
A new basic set of transformations between proofs	2011-07-06	Paper
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization Logic, Language, Information and Computation	2009-07-02	Paper
scientific article; zbMATH DE number 2020175 (Why is no real title available?)	2003-01-01	Paper
A normalization procedure for the equational fragment of labelled natural deduction Logic Journal of the IGPL	1999-10-28	Paper

Research outcomes over time

This page was built for person: Anjolina de Oliveira