Homotopic Foundations of the Theory of Computation

Há 1 mês 26 Visualizações

Law and Legal uses for blockchain technologies

Há 1 ano 156 Visualizações

Criptografia como aliado

Há 1 ano 72 Visualizações

Privacidade, Segurança, Identidade

Há 2 anos 125 Visualizações

From Tractatus to Later Writings and Back

Há 2 anos 85 Visualizações

Desafios na Interseção entre Direito e Tecnologia

Há 2 anos 124 Visualizações

Connections between Logic and Geometry via Term Rewriting

Há 2 anos 137 Visualizações

Consensus in Permissionless Decentralized Networks

Há 2 anos 168 Visualizações

Linguagem, Lógica e a Natureza da Matemática

Há 2 anos 84 Visualizações

Cibersegurança na Internet das Coisas

Há 3 anos 237 Visualizações

Computations, Paths, Types and Proofs

Há 4 anos 147 Visualizações

Computation, Paths, Types and Proofs

Há 4 anos 142 Visualizações

Privacidade e Proteção de Dados Pessoais

Há 4 anos 257 Visualizações