P.W.奥赫恩。;R.D.坦能。 局部变量的语义。 （英语） Zbl 0798.68093号 Fourman，M.P.（编辑）等人，《类别在计算机科学中的应用》。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。177, 217-238 (1992). 摘要：这篇解释性文章讨论了在类Algol语言中为局部变量声明提供足够抽象语义的问题上的最新进展，特别是使用范畴方法的工作。关于整个系列，请参见[Zbl 0771.00028号]. 引用于8文件 MSC公司： 68问题55 计算理论中的语义学 18立方厘米 理论（例如代数理论）、结构和语义 68甲15 编程语言理论 关键词：抽象语义学;本地变量声明;类藻类语言 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}和\textit{R.D.Tennent}，伦敦。数学。Soc.Lect（社会学）。注释序列号。177217--238（1992年；Zbl 0798.68093）