Proof-assistants using dependent type systems (1999)

by H P Barendregt, H Geuvers
Venue:Handbook of Automated Reasoning. Elsevier Sci. Pub. B.V