Monoidal indeterminates and categories of possible worlds (Q418809): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2012.01.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1976985540
@@ Property / OpenAlex ID: W1976985540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304740
@@ Property / cites work: Q4304740 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3961629
@@ Property / cites work: Q3961629 / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract model for the \(\pi\)-calculus.
@@ Property / cites work: A fully abstract model for the \(\pi\)-calculus. / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+The uniformity principle on traced monoidal categories
+Normal rank
@@ Property / cites work @@
+Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
+Normal rank
@@ Property / cites work @@
+A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Q4929408
@@ Property / cites work: Q4929408 / rank @@
+Normal rank
@@ Property / cites work @@
+Lenses, fibrations and universal translations
@@ Property / cites work: Lenses, fibrations and universal translations / rank @@
+Normal rank
@@ Property / cites work @@
+Braided tensor categories
@@ Property / cites work: Braided tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100657
@@ Property / cites work: Q4100657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100674
@@ Property / cites work: Q4100674 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655525
@@ Property / cites work: Q5655525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156508
@@ Property / cites work: Q3156508 / rank @@
+Normal rank
@@ Property / cites work @@
+Global State Considered Helpful
@@ Property / cites work: Global State Considered Helpful / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic control of interference revisited
@@ Property / cites work: Syntactic control of interference revisited / rank @@
+Normal rank
@@ Property / cites work @@
+From Algol to polymorphic linear lambda-calculus
@@ Property / cites work: From Algol to polymorphic linear lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138545
@@ Property / cites work: Q3138545 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analysis of specification logic. II
@@ Property / cites work: Semantical analysis of specification logic. II / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719794
@@ Property / cites work: Q3719794 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic of names and abstraction in action calculi
+Normal rank
@@ Property / cites work @@
+Coherence in substructural categories
@@ Property / cites work: Coherence in substructural categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851544
@@ Property / cites work: Q2851544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851332
@@ Property / cites work: Q2851332 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704209
@@ Property / cites work: Q4704209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847820
@@ Property / cites work: Q2847820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932278
@@ Property / cites work: Q3932278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3673065
@@ Property / cites work: Q3673065 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for the second order subset of an ALGOL-like language
+Normal rank
@@ Property / cites work @@
+Q4725711
@@ Property / cites work: Q4725711 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analysis of specification logic
@@ Property / cites work: Semantical analysis of specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract models of storage
@@ Property / cites work: Abstract models of storage / rank @@
+Normal rank