Páginas com hiperligações para "Isomorfismo de Curry-Howard"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Isomorfismo de Curry-Howard:
Mostrando 9 itens.
- Lei de Peirce (← afluentes)
- Teorema da eliminação do corte (← afluentes)
- Cálculo lambda simplesmente tipado (← afluentes)
- Teoria dos tipos intuicionista (← afluentes)
- Razoabilidade (lógica) (← afluentes)
- Realizabilidade (← afluentes)
- Interpretação de Brouwer–Heyting–Kolmogorov (← afluentes)
- Tradução da dupla negação (← afluentes)
- Exportação (lógica) (← afluentes)