Select Git revision

Navid Roux authored and
Michael Kohlhase
committed
slides.tex 1.52 KiB
% !TeX document-id = {002167d7-d4ed-4017-81e1-a805b16acb18}
% !TEX TS-program = latexmk -lualatex -shell-escape -silent -latexoption="-synctex=1" -f %
% !TEX encoding = UTF-8 Unicode
% !TeX spellcheck = en_US
\providecommand{\main}{.}
\input{\main/exclude-all-comments}
\includecomment{slides-version}
\includecomment{debug-version}
\input{\main/config/config}
%% BEAMER NOTES %%
%\setbeameroption{show notes on second screen}
%% END %%
\usepackage{local}
\title[Logical Relations]{Logical Relations for a Logical Framework}
\subtitle{sketching \cite{RS:logrels:12} by Florian Rabe and Kristina Sojakova}
\author[Navid Roux]{%
\texorpdfstring{%
Navid Roux\footnote{\url{https://orcid.org/0000-0002-8348-2441}}
}{Navid Roux}
}
\institute[FAU Erlangen-Nürnberg]{KWARC Seminar\\Computer Science, FAU Erlangen-Nürnberg}
\date{2021-01-27}
\hypersetup{
pdftitle = {Logical Relations for a Logical Framework},
pdfsubject = {Journal club-like talk about a paper},
pdfauthor = {Navid Roux},
pdfkeywords = {logical relations,logical framework,lf,mmt,formal systems,formal methods,strong normalization,type erasure,knowledge representation,mathematical knowledge management,mkm}
}
\usepackage[
type={CC},
modifier={by-sa},
version={4.0}
]{doclicense}
\begin{document}
\input{slides-overview-commands}
\input{slides-1-introduction}
\input{slides-2-logrels}
\input{slides-3-lf}
\input{slides-4-logrels-for-lf}
\input{slides-5-conclusion}
\input{slides-6-references}
\end{document}