2004年（英国）

程序的语义数学工具

紧闭范畴 图形演算 统一语言 深刻逻辑 核心思想