Classical isomorphisms of types
Classical isomorphisms of types
复制标题
类型的经典同构
DOI：
--
复制
发表时间：
2005
影响因子：
0.5
通讯作者：
Olivier Laurent
中科院分区：
文献类型：
--
作者：
Olivier Laurent
类型同构的研究主要是在直觉的环境中进行的。我们扩展了一些这项工作的经典逻辑调用的名称和调用的值计算通过极化线性逻辑和游戏语义。这导致了所有命题连接词的同构的等式特征。
The study of isomorphisms of types has, in the main, been carried out in an intuitionistic setting. We extend some of this work to classical logic for both call-by-name and call-by-value computations by means of polarised linear logic and game semantics. This leads to equational characterisations of these isomorphisms for all the propositional connectives.