Stránky, které odkazují na Teorie typů
Toto je kompletní přehled použití – odkazů, přesměrování a vložení.
Následující stránky odkazují na stránku Teorie typů.
Zobrazeno 21 položek.
- Lambda kalkul (← odkazy | editovat)
- Logika vyššího řádu (← odkazy | editovat)
- Axiomatická teorie množin (← odkazy | editovat)
- Teoretická informatika (← odkazy | editovat)
- Principia Mathematica (← odkazy | editovat)
- Typový systém (← odkazy | editovat)
- Sémantika programovacích jazyků (← odkazy | editovat)
- Záznam (informatika) (← odkazy | editovat)
- Eventualita (← odkazy | editovat)
- Void (datový typ) (← odkazy | editovat)
- Druh (teorie typů) (← odkazy | editovat)
- Henkinův model (← odkazy | editovat)
- Závislostní typ (← odkazy | editovat)
- Curryho–Howardův isomorfismus (← odkazy | editovat)
- Kategorie endofunktorů (← odkazy | editovat)
- Algebra typů (přesměrování) (← odkazy | editovat)
- Kategorická logika (← odkazy | editovat)
- Type shifter (← odkazy | editovat)
- Head-driven phrase structure grammar (← odkazy | editovat)
- Wikipedista:Limojoe/PSH (← odkazy | editovat)
- Kategorie:Teorie typů (← odkazy | editovat)