有限性结构的转移及其应用
计算机科学中的逻辑
2016-12-15 v2 逻辑
摘要
我们描述了有限性空间的一种一般构造，该构造包含了线性逻辑中所有正连接词的解释。随后我们展示如何应用此构造来证明有限性空间范畴中特定函子的最小不动点的存在性：这些函子涉及沿系统 T 的连贯语义路线对惰性递归代数数据类型的关系解释。
引用
@article{arxiv.1004.3655,
title = {Transport of finiteness structures and applications},
author = {Christine Tasson and Lionel Vaux},
journal= {arXiv preprint arXiv:1004.3655},
year = {2016}
}