Proof Assistants using Dependent Type Systems

H. Barendregt ; H. Geuvers

to appear as a chapter of the Handbook of Automated Reasoning, eds. A. Robinson and A. Voronkov, Elsevier 2001

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:21 CET 2007.