Tom Stephen

Formal Semanticist at Trinity College Dublin

Resources

Lambda Calculator Exercises

Exercise files for Lambda Calculator, by Lucas Champollion, Josh Tauberer, and Maribel Romero.