形式语义学中的序结构和逻辑结构

计算机语言的形成语义是计算机科学理论的重要研究领域，其研究成果对程序设计、软件形式化、编译技术、分布式系统等分支领域有重大的实际意义。本项目主要研究计算机语言的形式语义中序结构、逻辑结构、用数学的序理论、代数理论及范畴理论进一步探讨论域理论、非Hoare型逻辑、不确定程序语义、PCF语言的全抽象性、及∑代数和项理论。