Mechanizing the Metatheory of LF

Christian Urban, James Cheney, Stefan Berghofer

Research output: Working paper

Fingerprint

Dive into the research topics of 'Mechanizing the Metatheory of LF'. Together they form a unique fingerprint.

Computer Science