abstract_czech.tex

%%% A template for a simple PDF/A file like a stand-alone abstract of the thesis.
\include{common}

\documentclass[12pt]{report}

\usepackage[a4paper, hmargin=1in, vmargin=1in]{geometry}
\usepackage[a-2u]{pdfx}
\usepackage{fancyvrb}       % improved verbatim environment
\usepackage{textcomp}

\def\Abstract{%
Jan závislé, tak lineární typy mají své kýžené vlastnosti. Zatímco závislé typy
mohou vyjádřit závislosti mezi vstupy a výstupy funkcí, lineární typy umožňují
kontrolu nad používáním zdrojů. Kombinace těchto dvou systémů byla složitá kvůli
dvou různým interpretacím výskytu proměnné v kontextu. Teorie kvantitativních
typů (QTT) kombinuje závislé a lineární typy použitím polookruhů ke sledování
druhů spotřeby každé proměnné. Tato práce rozšiřuje QTT o aditivní páry a
aditivní jednotky, formuluje kompletní QTT pravidla ve formě oboustranného
typování, a prezentuje náš interpret jednoduchého jazyka založeného na QTT.
}

\begin{VerbatimOut}{\jobname.xmpdata}
  \Title{Aditivní dvojice v kvantitativní teorii typů}
  \Author{\ThesisAuthor}
  \Language{cs-CZ}
  \Subject{\Abstract}
  \Publisher{Univerzita Karlova}
\end{VerbatimOut}

\begin{document}

\Abstract

\end{document}