Homotopic Foundations of the Theory of Computation

Há 11 meses 60 Visualizações

Law and Legal uses for blockchain technologies

Há 2 anos 157 Visualizações

Criptografia como aliado

Há 2 anos 73 Visualizações

Privacidade, Segurança, Identidade

Há 2 anos 125 Visualizações

From Tractatus to Later Writings and Back

Há 2 anos 88 Visualizações

Desafios na Interseção entre Direito e Tecnologia

Há 2 anos 169 Visualizações

Connections between Logic and Geometry via Term Rewriting

Há 3 anos 138 Visualizações

Consensus in Permissionless Decentralized Networks

Há 3 anos 168 Visualizações

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

Há 3 anos 87 Visualizações

Cibersegurança na Internet das Coisas

Há 4 anos 240 Visualizações

Computations, Paths, Types and Proofs

Há 5 anos 148 Visualizações

Computation, Paths, Types and Proofs

Há 5 anos 143 Visualizações

Privacidade e Proteção de Dados Pessoais

Há 5 anos 356 Visualizações