Skip to content
Snippets Groups Projects
Select Git revision
  • 3af27bc230d2f76f85f77ba2c32904f1ec13005e
  • master default
2 results

slides.tex

Blame
  • Navid Roux's avatar
    Navid Roux authored and Michael Kohlhase committed
    3af27bc2
    History
    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}