Práce na stejné téma (mají shodná klíčová slova):

dependent types

Klíčová slova abecedně | Klíčová slova dle četnosti

Well-founded semantics for dependent, recursive record types with type complement
 (Jozef Mikušinec)

2022, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/xr8vu/ | Teoretická informatika / Principy programovacích jazyků | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Pracovná zmluva a uzatváranie zmlúv podľa občianskeho a obchodného zákonníka pri výkone závislej práce
 (Erika Bálintová)

2013, Bakalářská práce, Bankovní institut vysoká škola SK / Vysoká škola regionálního rozvoje a Bankovní institut – AMBIS

• https://is.ambis.cz/th/epirf/ | Bankovnictví / Právní administrativa v podnikatelské sféře | Práce na příbuzné téma