The Theory of LEGO -- A Proof Checker for the Extended Calculus of Constructions (1994)

Cached

Download Links

by Robert Pollack
Citations:69 - 10 self