The Penn Lambda Calculator : Pedagogical Software for Natural Language Semantics

@inproceedings{Champollion2007ThePL,
  title={The Penn Lambda Calculator : Pedagogical Software for Natural Language Semantics},
  author={Lucas Champollion and Joshua Tauberer and Maribel Romero and Tracy Holloway King and Emily M. Bender},
  year={2007}
}
This paper describes a novel pedagogical software program that can be seen as an online companion to one of the standard textbooks of formal natural language semantics, Heim and Kratzer (1998). The Penn Lambda Calculator is a multifunctional application designed for use in standard graduate and undergraduate introductions to formal semantics: Teachers can… CONTINUE READING