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.

Basic Exercises

basicexcersisesDownload
More Basic Exercises

morebasicexercisesDownload
Object Raising

objectraisingDownload
Predicate Modification

predicatemodificationDownload
Event Semantics

eventsemantics-1Download
Game for Modal Logics

SemIIIGDownload