Nova Teoria dos TiposNova Teoria dos Tipospara Programaçãoprogramação.níveis pra conectar lógica eApresentando uma abordagem em doisLinguagens de programaçãoLigando Provas e Programas: Uma Nova TeoriaUma teoria de tipo de dois níveis conecta provas lógicas e programação prática.2025-09-26T07:48:18+00:00 ― 8 min ler