介绍自然语言语义的效果和处理程序的计算 电子书下载

原名:Introducing a Calculus of Effects and Handlers for Natural Language Semantics
作品简介:使用最近的 monad 来利用这种一致性的类型化 lambda 演算是一些类型构造函数（函子部分）和一些组合器（旧的动词表示中的 ..，我们添加了新的 SI 处理程序，以便子句。……