@article{ann-cap-kra:two-level,
  author =        {Danil Annenkov and Paolo Capriotti and Nicolai Kraus and Christian Sattler},
  journal =       {arXiv:1705.03307},
  title =         {Two-Level Type Theory and Applications},
  year =          {2019},
  note =          {Original version from 2017; to appear in MSCS},
  url =           {http://arxiv.org/abs/1705.03307},
}