关于带公式最小与最大不动点的线性逻辑的指称语义
计算机科学中的逻辑
2019-06-14 v1 范畴论
逻辑
摘要
我们在相干空间（其中两种不动点以相同方式解释）与带全性的相干空间（其中它们有不同解释）中发展了带最小与最大公式不动点的线性逻辑的指称语义。这些构造可在许多不同的LL指称模型（超相干、Scott语义、有限性空间等）中完成。我们还给出了Gödel系统T到带不动点的LL的一个自然嵌入，从而强化了该系统作为一种兼具范式归约与巨大数据类型表达力的编程语言之表达能力。
引用
@article{arxiv.1906.05593,
title = {On the denotational semantics of Linear Logic with least and greatest fixed points of formulas},
author = {Thomas Ehrhard and Farzad Jafar-Rahmani},
journal= {arXiv preprint arXiv:1906.05593},
year = {2019}
}