域理论中的观测诱导代数
计算机科学中的逻辑
2016-10-28 v4
摘要
在本文中，我们修订并简化了由 Simpson 和 Schroeder 引入的观测诱导代数概念，旨在为计算效应建模，特别是在环境范畴由经典域理论给出的特定情况下。作为一般框架的示例，我们考虑了各种幂域。对于 Plotkin 幂域这一特定情况，通用方案导致了一个 somewhat 意想不到的结果，然而从计算机科学的角度来看这是合理的。我们分析了这种“偏差”，并展示了如何通过施加 R.~Heckmann 和 J.~Goubault-Larrecq 先前考虑的额外条件来重新获得原始的 Plotkin 幂域。
引用
@article{arxiv.1409.1544,
title = {Observationally-induced algebras in Domain Theory},
author = {Ingo Battenfeld and Klaus Keimel and Thomas Streicher},
journal= {arXiv preprint arXiv:1409.1544},
year = {2016}
}
备注
26 pages