This is the two courseworks and the two home tests for F29FA, Foundations 1, 3rd year of BSc Computer Science. This course is about the Lambda Calculus, and using both normal calculus, Item Notation, and de Bruijn Notation. The Courseworks are written in SML, and the home tests are written on paper.

The source code for this program has been encrypted due to the coursework being still used.

If you want to have a look at the code, password can be requested from wrt_95@hotmail.com.