Closed Freyd-and -categories
Closed Freyd-and -categories
复制标题
封闭的弗雷德和 - 类别
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Hayo Thielecke
中科院分区：
文献类型：
--
作者：
Hayo Thielecke
我们为计算微积分或 c 微积分提供了两类可靠且完整的模型。首先，我们将笛卡尔闭范畴的概念推广到弗雷德闭范畴的概念。对于第二个，我们概括简单的索引类别。前者给出了计算演算的直接语义。后者对应于某些编译方法中使用的基于堆栈的中间语言的理想化。
We give two classes of sound and complete models for the computational-calculus, or c-calculus. For the rst, we generalise the notion of cartesian closed category to that of closed Freyd-category. For the second, we generalise simple indexed categories. The former gives a direct semantics for the computational-calculus. The latter corresponds to an idealisation of stack-based intermediate languages used in some approaches to compiling.