The Theory of LEGO - A Proof Checker for the Extended Calculus of Constructions (1994)
by
Robert Pollack
| Citations: | 65 - 10 self |
Document Versions
| The Theory of LEGO - A Proof Checker for the Extended Calculus of Constructions –Robert Pollack — 1994 |
