Chase Johnson, Gopalan Nadathur. Transporting Theorems about Typeability in LF Across Schematically Defined Contexts. In Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney, editors, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025. ACM, 2025. [doi]
Abstract is missing.