Prohlížení Bakalářské práce - 13136 dle předmětu "\\ Curryova-Howardova korespondence"

Zobrazují se záznamy 1-1 z 1

    • 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á ...