@misc{indiciaea724ca4457ee,
  title = {A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types},
  author = {Jason Z. S. Hu and Brigitte Pientka and Ulrich Schöpp},
  year = {2022},
  doi = {10.1145/3545115},
  url = {https://arxiv.org/abs/2206.02831},
  note = {Source identifier: 2206.02831}
}