thesis 4th Year Undergraduate Thesis Automated Theorem Proving in Category Theory and the Lambda Calculus