Simple Science

Ciência de ponta explicada de forma simples

Ciência de ponta explicada de forma simples

Daniel Gratzer

Lógica na Informática Teoria do Tipo de Homotopia: Uma Nova Perspectiva sobre Conjuntos

Descubra como a Teoria dos Tipos de Homotopia transforma nossa visão de conjuntos e tipos.

2025-08-23T22:32:54+00:00 ― 7 min ler

Lógica na Informática Introduzindo Univalência Direcionada na Teoria dos Tipos

Um novo conceito que tá mudando nossa visão sobre tipos em matemática e programação.

2025-07-06T10:31:42+00:00 ― 7 min ler