Some monoidal closed categories of stable domains and event structures

DOI10.1017/S0960129500000207zbMath0794.06010OpenAlexW2130046377MaRDI QIDQ4279246

No author found.

Publication date: 25 August 1994

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000207

zbMATH Keywords

concurrencymonoidal closed categoryintuitionistic linear logicstable domainsstable event structures

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Subsystems of classical logic (including intuitionistic logic) (03B20) Distributive lattices (06D99)

Related Items (6)

Stone duality and representation of stable domain ⋮ A model of intuitionistic affine logic from stable domain theory ⋮ The largest cartesian closed category of stable domains ⋮ Quasi-prime algebraic domains ⋮ A Monoidal Category of Bifinite Chu Spaces ⋮ Domains via graphs

Cites Work

• Linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Petri nets, event structures and domains. I
• \(dI\)--domains as prime information systems

This page was built for publication: Some monoidal closed categories of stable domains and event structures