TY  - RPRT
TI  - A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types
AU  - Jason Z. S. Hu
AU  - Brigitte Pientka
AU  - Ulrich Schöpp
PY  - 2022
DO  - 10.1145/3545115
UR  - https://arxiv.org/abs/2206.02831
ID  - 2206.02831
ER  -