@misc{indiciae482e2302d9c5,
  title = {Adequate and computational encodings in the logical framework Dedukti},
  author = {Thiago Felicissimo},
  year = {2022},
  url = {https://arxiv.org/abs/2205.02883},
  note = {Source identifier: 2205.02883}
}