Event domains, stable functions and proof-nets

DOI10.1016/J.ENTCS.2007.02.003MaRDI QIDQ2864146zbMATH OpenOpenAlexWikidataFDO

Authors Samson Abramsky

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.003

zbMATH Keywords

domain theoryevent structureslinear logicproof netsstable functions

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Semantics in the theory of computing (68Q55)

Recommendations

• L-stable event structures and L-domains
• Event Calculus Reasoning Through Satisfiability
• scientific article; zbMATH DE number 4208063
• scientific article; zbMATH DE number 5587277
• Characterising spectra of equivalences for event structures, logically
• An algebraic semantics of event-based architectures
• Foundations for a probabilistic event calculus
• scientific article; zbMATH DE number 2227867

Cites work

• Computer Science Logic
• Concrete domains
• Functorial polymorphism
• Games and full completeness for multiplicative linear logic
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• Linear logic
• New foundations for the geometry of interaction
• Petri nets, event structures and domains. I
• Proof nets for unit-free multiplicative-additive linear logic
• Retracing some paths in process algebra
• Sequentiality vs. concurrency in games and logic
• Softness of hypercoherences and MALL full completeness
• The shuffle Hopf algebra and noncommutative full completeness
• The structure of multiplicatives
• Traced monoidal categories

Cited in

(4)

• Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)
• scientific article; zbMATH DE number 1231573 (Why is no real title available?)
• Quantitative domains, groupoids and linear logic
• scientific article; zbMATH DE number 7297883 (Why is no real title available?)

This page was built for publication: Event domains, stable functions and proof-nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864146)