Transport of finiteness structures and applications
Transport of finiteness structures and applications
复制标题
有限结构的传输和应用
DOI：
--
复制
发表时间：
2010
影响因子：
0.5
通讯作者：
L. Vaux
中科院分区：
文献类型：
--
作者：
C. Tasson;L. Vaux
我们描述了有限空间的一般构造，其中包含线性逻辑的所有正连接器的解释。然后，我们展示如何应用此构造来证明有限空间类别中特定函子的最小不动点的存在：这些函子包括沿着系统 T 的连贯语义对惰性递归代数数据类型进行关系解释所涉及的函子。
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction to prove the existence of least fixpoints for particular functors in the category of finiteness spaces: These include the functors involved in a relational interpretation of lazy recursive algebraic datatypes along the lines of the coherence semantics of system T.