Ruy De Queiroz

Sort by

Mais recentes

Mais populares

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

Criptografia como aliado

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