国产91麻豆一区二区久久久

题目：Lambek Calculus and Type Grammar: Past and Future

主讲人：林哲博士（中山大学）

时间：5月12日 周二15:10-18:00 地点: 二教525

This talk contains the following 6 parts. Part I starts with some history of Lambek Calculus. We will mainly focus on some important groups and peoples who work deeply in these areas. In part II, we will recall some basic notations of Lambek calculus and type grammars. Then we will show some relations between type grammars and natural languages. Parts 3 starts with different extensions of Lambek calculus. We will mention three or four important extensions of Lambek calculus. In part 4, We will focus on computation aspect of Lambek calculus and its fragments. Finally, we will talk about some relations between Lambek calculus and other logics (linear logic and FL) and show some recent development of this topics.