Páginas com hiperligações para "Cálculo lambda simplesmente tipado"
Saltar para a navegação
Saltar para a pesquisa
As seguintes páginas têm hiperligações para Cálculo lambda simplesmente tipado:
Mostrando 9 itens.
- Cálculo lambda (← afluentes)
- Catraca (símbolo) (← afluentes)
- Forma normal beta (← afluentes)
- Princípio de Markov (← afluentes)
- Propriedades de normalização forte e fraca (← afluentes)
- Teoria dos tipos intuicionista (← afluentes)
- Paradoxo de Curry (← afluentes)
- Combinador de ponto fixo (← afluentes)
- Letras gregas usadas em matemática, ciências e engenharia (← afluentes)