Prohlížení Bakalářské práce - 13136 dle předmětu "linear types"
Zobrazují se záznamy 1-1 z 1
-
Výpočetní trinitarismus a lineární typy
; 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á ...