• 宾夕法尼亚Lambda计算器是一个互动、图形、Java基于计算机设计，以帮助学生的自然语言的正式语义实践的类型氧微积分。

  • पेन लैम्ब्डा कैलकुलेटर एक इंटरैक्टिव, ग्राफिक, जावा आधारित कंप्यूटर के डिजाइन में मदद करने के लिए छात्रों को प्राकृतिक भाषा की औपचारिक शब्दों का अभ्यास टाइप लैम्ब्डा पथरी.

  • The Penn Lambda Calculator is an interactive, graphical, Java based computer designed to help the students of natural language formal semantics practice the typed lambda calculus.