TY  - RPRT
TI  - Transporting Theorems about Typeability in LF Across Schematically Defined Contexts
AU  - Chase Johnson
AU  - Gopalan Nadathur
PY  - 2025
DO  - 10.1145/3756907.3756919
UR  - https://arxiv.org/abs/2509.26362
ID  - 2509.26362
ER  -