lambda笔记本:Lambda笔记本:Jupyter中的形式语义 源码

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