A Logic for Formalizing Properties of LF Specifications.

Gopalan Nadathur, Mary Southern

Browse the full PPDP paper archive.