Veras, Tiago M. L.

1. A Topological Application of Labelled Natural Deduction
   2019/06/19 by Veras, Tiago M. L., Ramos, Arthur F., de Queiroz, Ruy J. G. B. +1 · 2 citations
   #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)