现代类型论的发展与应用

作者简介

内容简介

本书作者是现代类型论的顶尖专家及国际学术带头人。此书基于作者多年的研究成果，深度介绍现代类型论，阐述其理论，应用及发展前景。目前尚无关于现代类型论和以此为基础的自然语言语义学的中文专著，此书的出版将进一步推动计算机科学及人工智能在各领域更广泛的应用。