Hypercoherences: a strongly stable model of linear logic-Reference-Cited by-同舟云学术

Hypercoherences: a strongly stable model of linear logic

Published:1993-12 Issue:4 Volume:3 Page:365-385
ISSN:0960-1295
Container-title:Mathematical Structures in Computer Science
language:en
Short-container-title:Math. Struct. Comp. Sci.

Author:

Ehrhard Thomas

Abstract

We present a new model of classical linear logic based on the notion of strong stability that was introduced recently in a work about sequentiality written jointly with Antonio Bucciarelli.

Publisher

Cambridge University Press (CUP)

Subject

Computer Science Applications,Mathematics (miscellaneous)

Reference13 articles.

1. Sequential algorithms on concrete data structures

2. Kahn G. and Plotkin G. (1978) Domaines Concrets, Rapport IRIA-LABORIA 336.

3. Curien P.-L. (1986) Categorical Combinators, Sequential Algorithms and Functional Programming, Research Notes in Theoretical Computer Science, Pitman.

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantics and Syntax, Between Computer Science and Mathematics;The French School of Programming;2023-10-11

2. Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces;Electronic Proceedings in Theoretical Computer Science;2021-12-30

3. The Bang Calculus and the Two Girard's Translations;Electronic Proceedings in Theoretical Computer Science;2019-04-15

4. Full Abstraction for Probabilistic PCF;Journal of the ACM;2018-08-16

5. Probabilistic Stable Functions on Discrete Cones are Power Series;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09