论线性信息系统
计算机科学中的逻辑
2010-04-08 v1 编程语言
摘要
Scott的信息系统提供了Scott域和连续函数的范畴等价内涵描述。遵循指称语义中成熟的模式，我们定义了信息系统的线性版本，提供了直觉主义线性逻辑的模型（一个新Seely范畴），并通过co-Kleisli构造恢复了Scott连续函数，其中指数幂运算具有“集合论”解释。从域论的观点来看，线性信息系统等价于素代数Scott域，而素代数Scott域又推广了素代数格，后者已知可提供经典线性逻辑的模型。
引用
@article{arxiv.1003.5518,
title = {On Linear Information Systems},
author = {A. Bucciarelli and A. Carraro and T. Ehrhard and A. Salibra},
journal= {arXiv preprint arXiv:1003.5518},
year = {2010}
}