Mechanizing the Metatheory of LF

Cached

Download Links

by Christian Urban , James Cheney , STEFAN BERGHOFER