Some monoidal closed categories of stable domains and event structures

4 March 1993

journal article
research article
Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science

Vol. 3 (2) , 259-276
https://doi.org/10.1017/s0960129500000207

Abstract

This paper introduces the following new constructions on stable domains and event structures: the tensor product; the linear function space; and the exponential. These give rise to a monoidal closed category of dI-domains and to stable event structures, which can be used to interpret intuitionistic linear logic. Finally, the usefulness of the category of stable event structures for modeling concurrency and its relation to other models are discussed.

Keywords

This publication has 12 references indexed in Scilit:

dI-Domains as prime information systems
Information and Computation, 1992
Logic of Domains
Published by Springer Nature ,1991
Linear logic, *-autonomous categories and cofree coalgebras
Published by American Mathematical Society (AMS) ,1989
DI-domains as information systems
Published by Springer Nature ,1989
Event structures
Published by Springer Nature ,1987
Linear logic
Theoretical Computer Science, 1987
Domains for denotational semantics
Published by Springer Nature ,1982
Petri nets, event structures and domains, part I
Theoretical Computer Science, 1981
Stable models of typed λ-calculi
Published by Springer Nature ,1978
Categories for the Working Mathematician
Published by Springer Nature ,1971