In this paper the author introduces the basic conception and method of categorial grammar especially the syntactic type calculus . Some important results in the syntactic type calculus of English verb phrases are illustrated through concrete examples .

本文介绍范畴语法的基本概念和方法，着重介绍 句法类型 演算，并通过具体的实例，说明了英语动词短语的句法类型演算研究的一些重要成果。

According to the definition of ambient calculus we propose the concept of ambient syntactic structure tree and introduce a data flow analysis method for ambient calculus based on the structural tree of ambient calculus and the implementation of the analysis algorithms .

针对Ambient演算的定义，提出了Ambient演算 语法结构树的概念，并且给出一个基于Ambient语法结构树的Ambient 演算的数据流分析方法及其实现。