Browsing Bakalářské práce - 13136 by Author "Bílková Marta"
Now showing items 1-1 of 1
-
Výpočetní trinitarismus a lineární typy
Author: Vojtěch Štěpančík; Supervisor: Dostál Matěj; Opponent: 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á ...