类型-逻辑语法的句法特色

论述类型一逻辑语法的句法特色——兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴-希勒尔所创立的经典范畴语法的改进和发展，其表述有多种形式，重点论述在实践中应用广泛的根岑风格的兰贝克演算。