van Eijck，简;克里斯蒂娜·昂格 函数编程的计算语义。 （英语） Zbl 1305.68017号 剑桥：剑桥大学出版社（ISBN 978-0-521-76030-0/hbk；978-0-5.21-75760-7/pbk；978-1-511-77837-7/ebook）。十五、405页。(2010). 出版商描述：计算语义学是自然语言中计算意义的艺术和科学。句子的意思是由句子中各个单词的意思派生出来的，这个过程可以精确到可以在计算机上实现。这篇综合课文是为语言学、计算机科学、逻辑和哲学专业的学生设计的，它展示了如何使用函数式编程语言Haskell计算意义。它既涉及指称意义（意义来自于了解情境中的真理条件），也涉及操作意义（意义是执行认知动作的指令）。包括对逻辑最新发展的讨论，对于希望将逻辑应用于其研究的语言学学生、希望学习其学科如何应用于语言学的逻辑学生以及对自然语言处理作为一个新的应用领域感兴趣的函数式程序员来说，这将是非常宝贵的。 引用于1审查引用于7文件 MSC公司： 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68T50型 自然语言处理 03B65号 自然语言逻辑 68甲18 函数编程和lambda演算 91层20 语言学 关键词：计算语义学;哈斯克尔;函数式编程 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{J.vanEijck}和\textit{C.Unger}，函数编程的计算语义。剑桥：剑桥大学出版社（2010；Zbl 1305.68017） 全文： 内政部