Computation on many-sorted topological algebras

多类拓扑代数的计算

• 批准号: 46670-2008
• 负责人: Zucker, Jeffery
• 金额: $ 1.53万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2009
• 资助国家: 加拿大
• 起止时间: 2009-01-01 至 2010-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=421524
• 关键词: Computation; many; sorted; topological; algebras

My research in recent years has been in the development of the theory of computation and specification of abstract data types. I have done this largely in collaboration with Prof. John Tucker (Swansea) in many publications.

近年来，我的研究一直在发展计算理论和抽象数据类型的规范。 我在许多出版物中与John Tucker教授（斯旺西）合作。