TY  - RPRT
TI  - A Categorical Normalization Proof for the Modal Lambda-Calculus
AU  - Jason Z. S. Hu
AU  - Brigitte Pientka
PY  - 2023
DO  - 10.46298/entics.10360
UR  - https://arxiv.org/abs/2211.12318
ID  - 2211.12318
ER  -