Explanation of Consequences via Movements within Language Homotopic Foundations of the Theory of Computation What formal equalities between rewriting paths have in common with homotopies, Kan complexes and ∞-categories Connections between Logic and Geometry via Term Rewriting Law and Legal uses for blockchain technologies Privacidade, Segurança, Identidade From Tractatus to Later Writings and Back Desafios na Interseção entre Direito e Tecnologia Connections between Logic and Geometry via Term Rewriting Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE) Consensus in Permissionless Decentralized Networks Linguagem, Lógica e a Natureza da Matemática Computational Paths and the Calculation of Fundamental Groups Computational Paths and the Calculation of Fundamental Groups 
