Prohlížení katedra počítačů dle autora "Vojtěch Štěpančík"
-
Výpočetní trinitarismus a lineární typy
Autor: Vojtěch Štěpančík; 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á ...