A Unified Framework for Natural Language Semantics and Pragmatics by Meta-Lambda Calculus and Linguistic Monads

该项目的目的是通过元 Lambda 演算 (MLC) 和（语言）单子为自然语言语义和语用的表示提供统一的框架。 我们建立了 MLC 的形式基础和语言单子的概念，特别是它的分类语义、基础层和元层替换中的健全性定理，以及基础层和元层中 alpha/beta/eta 转换的健全性定理。我们还提供了 MLC 的一些语言应用及其实证评估。 我们提出了一个统一的系统，通过“非确定性单子”、“全局变量单子（=状态单子）”、“延续单子”和“约定蕴涵单子”等语言单子来描述位于语义和语用界面的现象。

The aim of this project is to provide a uniform framework for the representations of natural language semantics and pragmatics, by means of Meta-Lambda Calculus (MLC) and (linguistic) monads. We have established a formal foundation of MLC and the notion of linguistic monads, especially its categorical semantics, the soundness theorems in the base- and the meta-level substitutions, and the soundness theorems for alpha/beta/eta-conversions in both the base- and the meta-levels.We have also provided some linguistic applications of MLC and their empirical evaluation. We proposed a unified system for describing phenomena that lie in the interface of semantic and pragmatic by means of linguistic monads such as "non-deterministic monad", "global variable monad (=state monad)", "continuation monad", and "conventional implicature monad".