Páginas com hiperligações para "Codificação de Church"
As seguintes páginas têm hiperligações para Codificação de Church:
São apresentadas 8 páginas.
- Cálculo lambda (← afluentes | editar)
- Codificação (← afluentes | editar)
- Cálculo lambda simplesmente tipado (← afluentes | editar)
- Combinador de ponto fixo (← afluentes | editar)
- Cálculo lambda binário (← afluentes | editar)
- Sistema de numeração unário (← afluentes | editar)
- Discussão:Codificação de Church (transclusão) (← afluentes | editar)
- Usuário(a) Discussão:Fabiano.bmsilva (← afluentes | editar)