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

该项目的目的是提供一个统一的框架表示自然语言的语义和语用，通过元λ演算（MLC）和（语言）单子。 我们建立了MLC的形式基础和语言单子的概念，特别是它的范畴语义、基层和元层替换的可靠性定理以及基层和元层的α/β/η转换的可靠性定理，并给出了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".