Freire Nistal，JoséL。;阿瓜多·马汀，F。 条件和递归的自然性。 （英语） Zbl 0699.68107号 国际期刊计算。数学。 35，No.1-4，7-14（1990）. 摘要：在包括E.Manes断言类在内的一类范畴中，控制结构if-then-else和repeat-until被建模为适当函子的自然变换。此上下文显示了任何结构化编程语言的三个基本部分（连接、条件和递归）是如何自然共享的。 引用于1审查引用于1文件 理学硕士： 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 18A23型 自然形态，非自然形态 68号01 软件理论的一般主题 68N99型 软件理论 关键词：范畴语义学;自然变换;仿函数 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Freire Nistal}和textit{F.Aguado Martín}，国际计算机杂志。数学。35，编号1--4，7--14（1990；Zbl 0699.68107） 全文： 内政部 参考文献： [1] Dijkstra E.W.，编程学科（1976）·Zbl 0368.68005号 [2] Curien，P.L.和Obtulowicz，A.1987。偏爱，笛卡尔封闭性和拓扑，87–3。留置权。Recherche拉波特 [3] Arbib Manes E.，程序语义的代数方法（1986）·Zbl 0599.68008号 [4] Manes E.，L.N.C.S 239第184页–（1986） [5] Manes E.，L.N.C.S 298第85页–（1988） [6] Manes，E.代数语义学。马洛卡研讨会。三月，西班牙 [7] Rydeheard D.E.，计算范畴理论（1988）·Zbl 0649.18001号 [8] Rydeheard David E.，L.N.C.S 240第43页–（1985） [9] Wagner Eric G.，L.N.C.S 240第143页–（1985） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。