Stránky, které odkazují na Lambda kalkul
Toto je kompletní přehled použití – odkazů, přesměrování a vložení.
Následující stránky odkazují na stránku Lambda kalkul.
Zobrazeno 20 položek.
- Programování (← odkazy | editovat)
- Programovací jazyk (← odkazy | editovat)
- Algoritmus (← odkazy | editovat)
- Teorie vyčíslitelnosti (← odkazy | editovat)
- Lisp (← odkazy | editovat)
- Funkcionální programování (← odkazy | editovat)
- Alonzo Church (← odkazy | editovat)
- Lambda kalkulus (přesměrování) (← odkazy | editovat)
- LPC (programovací jazyk) (← odkazy | editovat)
- Lambda (← odkazy | editovat)
- Haskell Brooks Curry (← odkazy | editovat)
- Lambda (rozcestník) (← odkazy | editovat)
- Typový systém (← odkazy | editovat)
- Petr Štěpánek (matematik) (← odkazy | editovat)
- Stephen Cole Kleene (← odkazy | editovat)
- Výpočetní model (teorie algoritmů) (← odkazy | editovat)
- Teorie typů (← odkazy | editovat)
- Odložené vyhodnocování (← odkazy | editovat)
- Brouwerova–Heytingova–Kolmogorovova interpretace (← odkazy | editovat)
- Modální μ-kalkulus (← odkazy | editovat)