Author(s): Champollion, Lucas, Joshua Tauberer, and Maribel Romero Title: The Penn Lambda Calculator: Pedagogical software for natural language semantics Keywords: semantics, educational software, teaching Date submitted: 2010 08 03