Stránky, které odkazují na Curryho–Howardův isomorfismus
Toto je kompletní přehled použití – odkazů, přesměrování a vložení.
Následující stránky odkazují na stránku Curryho–Howardův isomorfismus.
Zobrazeny 4 položky.
- Haskell Brooks Curry (← odkazy | editovat)
- Curry-Howardův isomorfismus (přesměrování) (← odkazy | editovat)
- Závislostní typ (← odkazy | editovat)
- Curryho-Howardův isomorfismus (přesměrování) (← odkazy | editovat)
- Brouwerova–Heytingova–Kolmogorovova interpretace (← odkazy | editovat)