Monoidal indeterminates and categories of possible worlds

DOI10.1016/j.tcs.2012.01.001zbMath1281.68148MaRDI QIDQ418809

Robert D. Tennent, Claudio Hermida

Publication date: 30 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.01.001

zbMATH Keywords

universality; symmetric monoidal categories; indeterminates; indexed Lawvere theory; possible-world semantics

Mathematics Subject Classification ID

68Q70: Algebraic theory of languages and automata

68Q55: Semantics in the theory of computing

03G30: Categorical logic, topoi

18C10: Theories (e.g., algebraic theories), structure, and semantics

Related Items

Effect algebras, presheaves, non-locality and contextuality

Cites Work

• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
• Semantical analysis of specification logic
• Two-dimensional monad theory
• Semantical analysis of specification logic. II
• Braided tensor categories
• A fully abstract model for the \(\pi\)-calculus.
• Abstract models of storage
• Syntactic control of interference revisited
• Coherence in substructural categories
• The uniformity principle on traced monoidal categories
• Combining effects: sum and tensor
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Lenses, fibrations and universal translations
• Parametricity and local variables
• Categorical logic of names and abstraction in action calculi
• Traced monoidal categories
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
• Full abstraction for the second order subset of an ALGOL-like language
• Global State Considered Helpful
• From Algol to polymorphic linear lambda-calculus
• Deductive systems and categories
• Foundations of Software Science and Computational Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item