Anjolina Grisi de Oliveira

1. Propositional equality, identity types, and direct computational paths
   2011/07/10 by Ruy J. G. B. de Queiroz, de Queiroz, Ruy J. G. B., Anjolina Grisi de Oliveira +2 · 5 citations
   Computer Science · #03F03 #03Fxx #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #acm:03F03 #acm:03Fxx #cs.LO #msc:03F03 #msc:03Fxx
2. A Topological Application of Labelled Natural Deduction
   2019/06/19 by Tiago M. L. de Veras, Arthur Ramos, Veras, Tiago M. L. +5 · 2 citations
   Computer Science · Mathematics · #Advanced Algebra and Logic #Algebraic Topology (math.AT) #Data Management and Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO)
3. An alternative approach to the calculation of fundamental groups based on labeled natural deduction
   2019/06/19 by Tiago M. L. de Veras, Arthur Ramos, de Veras, Tiago M. L. +5 · 2 citations
   Computer Science · Mathematics · #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, programming, and type systems