Transporting Theorems about Typeability in LF Across Schematically Defined Contexts. - Chase Johnson; Gopalan Nadathur (CoRR, 2025)