1 paper
Runming Li, Yue Yao, Robert Harper
Categorical gluing is a powerful technique for proving meta-theorems of type theories such as canonicity and normalization. Synthetic Tait Computability (STC) provides an abstract…