Computer Sciences Dept.

A Definitionally Extendible Type-Logic for Mechanical Theorem Proving

George H. Woodmansee
1971

Download this report (PDF)


Return to tech report index

 
Computer Science | UW Home