\begin{document}

\title{Algebraic models of simple type theories}
\subtitle{A polynomial approach}

\author{Nathanael Arkor}
\orcid{0000-0002-4092-7930}
\affiliation{
  \department{Department of Computer Science and Technology}
  \institution{University of Cambridge}
}
\email{}

\author{Marcelo Fiore}
\orcid{0000-0001-8558-3492}
\affiliation{
  \department{Department of Computer Science and Technology}
  \institution{University of Cambridge}
}
\email{}

\begin{abstract}
\input{abstract.tex}
\end{abstract}

\maketitle

\unnumfootnote{This is a preprint of \url{https://doi.org/10.1145/3373718.3394771}, published in \emph{Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '20)}.}

\section{Introduction}

\input{content.tex}

\bibliography{references}

\end{document}
{"config": "arxiv", "file": "2006.16949/acmart-sigplanproc.tex"}