Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa

First Page		Document Content
Date: 2008-10-15 15:02:55		Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 1,31 MB Share Document on Facebook