Anúncio
Check these out next
What formal equalities between rewriting paths have in common with homotopies, Kan complexes and ∞-categories
22 de Mar de 2023•0 gostou•7 visualizações
0 gostaram
Seja o primeiro a gostar disto
mostrar mais
visualizações
Vistos totais
0
No Slideshare
0
De incorporações
0
Número de incorporações
0
Baixar para ler offline
Denunciar
Ciências
II Encontro Brasileiro em Teoria das Categorias, 20 a 24 de Março de 2023
Ruy De QueirozSeguir
Professor Titular em Universidade Federal de PernambucoAnúncio
Anúncio
Anúncio
Recomendados
Connections between Logic and Geometry via Term RewritingRuy De Queiroz
Law and Legal uses for blockchain technologiesRuy De Queiroz
Criptografia como aliadoRuy De Queiroz
Privacidade, Segurança, IdentidadeRuy De Queiroz
From Tractatus to Later Writings and BackRuy De Queiroz
Desafios na Interseção entre Direito e TecnologiaRuy De Queiroz
Anúncio