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

Cached

Download Links

by Robert Pollack
Citations:68 - 10 self