TY  - RPRT
TI  - Strong Normalization for the Calculus of Constructions
AU  - Chris Casinghino
PY  - 2022
UR  - https://arxiv.org/abs/2210.11240
ID  - 2210.11240
ER  -