Transporting Theorems about Typeability in LF Across Schematically Defined Contexts.

Chase Johnson, Gopalan Nadathur

Browse the full PPDP paper archive.