#### DMCA

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

by
Robert Pollack

Citations: | 73 - 10 self |