@misc{indiciae729b0136722d,
  title = {Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory},
  author = {Bruno Barras and Valentin Maestracci},
  year = {2021},
  doi = {10.4204/eptcs.332.4},
  url = {https://arxiv.org/abs/2101.03810},
  note = {Source identifier: 2101.03810}
}