Faster Proof Checking in the Edinburgh Logical Framework.

Aaron Stump, David L. Dill

Browse the full CADE paper archive.