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

by
Robert Pollack

Citations: | 69 - 10 self |