@misc{indiciaea082cda9afd7,
  title = {Cocon: Computation in Contextual Type Theory},
  author = {Brigitte Pientka and Andreas Abel and Francisco Ferreira and David Thibodeau and Rebecca Zucchini},
  year = {2019},
  url = {https://arxiv.org/abs/1901.03378},
  note = {Source identifier: 1901.03378}
}