文件名称：lambda笔记本：Lambda笔记本：Jupyter中的形式语义
文件大小：930KB
文件格式：ZIP
更新时间：2024-02-25 01:35:19
jupyter semantics lambda-calculus jupyter-notebook linguistics
Lambda笔记本：使用Jupyter和Python的形式语义 该项目是语言学家尤其是语义学家开发框架语义分析的框架。 它的目的是根据蒙塔古语法中的片段方法，提供一种开发“数字片段”的方法。 该项目处于Alpha状态。 当代码在github上公开发布时，请期待错误和快速的（有时是不太Swift的）更改。 欢迎您提供文稿，要求和建议。 要查看示例，可以在以下网址找到预渲染的演示笔记本： 。 该项目的首席开发人员是jhu dot edu的 ，kgr。 我是约翰·霍普金斯大学认知科学系的副教授，同时兼顾理论语言语义学和计算语义学。 我最终的目标是将Lambda笔记本文件用于任何理论语言学。 （