Skip to content

Exercise Files

Raef Khan edited this page Jan 18, 2021 · 10 revisions

The Lambda Calculator

These documents provide some basic exercises to get you started. Just download any of the files above (or copy and save the text to a blank text file of your choosing). Then run the Lambda Calculator, select Open from the Menu Bar, and open the exercise file you saved.

You can also download a zip of all of the sample exercise files here: πŸ“¦

If you are an instructor, email us, and we will be happy to send you more exercise files. And if you write exercise files yourself, please consider sending them to us so we can share them here.

Basic Examples

File Description
πŸ—’ Examples of 'semantic types' and 'lambda conversion' exercises
πŸ—’ Examples of bottom-up tree derivation exercises
πŸ—’ Examples of using bottom-up tree derivations with generalized
quantifiers (including set notation)

Exercises from Heim and Kratzer

These files recreate the exercises from Heim and Kratzer's Semantics in Generative Grammar:

File Description
πŸ—’ Ch. 3 -- Semantics and Syntax
πŸ—’ Ch. 4 -- More of English: Nonverbal Predicates, Modifiers,
Definite Descriptions
πŸ—’ Ch. 5 -- Relative Clauses, Variables, Variable Binding
πŸ—’ Ch. 6 -- Quantifiers: Their Semantic Type
πŸ—’ Ch. 7 -- Quantification and Grammar
πŸ—’ Ch. 8 -- Syntactic and Semantic Constraints on Quantifier Movement

More Fragments for Natural Language Semantics

File Description
πŸ—’ Composition with variable types
πŸ—’ Companion file to Beck 2010 (S&P), Quantifiers in Than-Clauses,
πŸ—’ Champollion 2010 - Quantification and negation in event semantics
πŸ—’ Lucas Champollion's dissertation proposal, Jan 19, 2009
πŸ—’ Companion file to "Chinese dou and cumulative quantification"
(Yanyan Sui and Lucas Champollion, MACSIM poster presentation 2010)
--- Lucas Champollion, Apr 6 2010
πŸ—’ Cresswell 1976 adapted
πŸ—’ Implementation of Gronn and von Stechow 2009
πŸ—’ Martin Hackl thesis
πŸ—’ Presentation on the lexical semantics of "believe" using a doxastic
alternative relation - (c) 2009 Mats Rooth
πŸ—’ Kennedy 97 thesis (without the chapter on degrees-as-extents)
πŸ—’ Angelika Kratzer, Ch. 2 of The Event Argument and the Semantics
of Verbs
πŸ—’ Landman 2000, Ch. 2
πŸ—’ Landman 2000, Ch. 5
πŸ—’ Landman 2000, Ch. 6
πŸ—’ Cecile Meier, Embedded definites. In R. van Rooy, ed.,
Proceedings of the Fourteenth Amsterdam Colloquium, 163–168.
πŸ—’ Exercise on quantifiers in subject and object position
πŸ—’ Problem set on reflexivization, event semantics, and relative clauses
πŸ—’ Stechow Ealing 2008 handout
πŸ—’ A. von Stechow. Temporal prepositional phrases with quantifiers:
Some additions to Pratt and Francez.
Linguistics and Philosophy, 25:755–800, 2002
πŸ—’ Variable-free semantics, Jacobson 1999, Jacobson 2000,
Kubota and Uegaki 2011