Project for CIS 670 Linear Logic