Resources

Lambda Calculator Exercises

Exercise files designed to accompany the Lambda Calculator, created by Lucas Champollion, Josh Tauberer, and Maribel Romero. Suitable for students studying formal semantics.

• Basic Exercises
• More Basic Exercises
• Object Raising
• Predicate Modification
• Event Semantics

Game for Modal Logics

A game-based introduction to reasoning within modal logical systems.

• SemIIIG