Topics in the Theory of Computation

这项研究解决了跨越几个不同但相关的理论计算机科学领域的问题：程序设计语言中的算法（类型推理和类型检查类型系统与子类型和递归类型，解决系统的集合约束），计算代数（代数函数的分解，代数函数的牛顿图的计算），程序逻辑和语义（命题演算的演绎系统，类型化Kleene代数）。

This research addresses problems that span several distinct but related areas of theoretical computer science: algorithms in programming languages (type inference and type checking for type systems with subtypes and recursive types, solving systems of set constraints), computational algebra (decomposition of algebraic functions, calculations of Newtonian graphs of algebraic functions), program logics and semantics (deductive systems for the propositional - calculus, typed Kleene algebra).