spec-arxiv.tex

\input{main}
\begin{thebibliography}{1}

\bibitem{B92}
H.~Barendregt.
\newblock {Lambda Calculi with Types}.
\newblock In S.~Abramsky, D.~Gabbay, and T.~Maibaum, editors, {\em {Handbook of
  Logic in Computer Science}}, volume~2, pages 117--309. Oxford University
  Press, 1992.

\bibitem{stump17a}
Aaron Stump.
\newblock {The Calculus of Dependent Lambda Eliminations}.
\newblock {\em {Journal of Functional Programming}}, 27:e14.

\end{thebibliography}


\end{document}