Hledat
Zobrazují se záznamy 1-1 z 1
Výpočetní trinitarismus a lineární typy, Computational trinitarianism and linear types
; Vedoucí práce: Dostál Matěj; Oponent práce: Bílková Marta (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-01)
Tato práce se zabývá rozšířením Curryovy-Howardovy korespondence do lineárního prostředí. Místo tradiční ekvivalence intuicionistické logiky a jednoduše typovaného $\lambda$-kalkulu zavádíme formulaci lineární logiky, která ...