Monoidal indeterminates and categories of possible worlds
From MaRDI portal
Publication:418809
DOI10.1016/j.tcs.2012.01.001zbMath1281.68148OpenAlexW1976985540MaRDI 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
universalitysymmetric monoidal categoriesindeterminatesindexed Lawvere theorypossible-world semantics
Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items
Effect algebras, presheaves, non-locality and contextuality ⋮ Universal Properties in Quantum Theory ⋮ Categorical foundations of gradient-based learning
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
