Chase Johnson, Gopalan Nadathur: Transporting Theorems about Typeability in LF Across Schematically Defined Contexts. PPDP 2025: 12:1-12:13