Resource modalities in tensor logic (Q636303): 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.apal.2009.07.018
+Normal rank
@@ Property / OpenAlex ID @@
+W2078730256
@@ Property / OpenAlex ID: W2078730256 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequentiality vs. concurrency in games and logic
@@ Property / cites work: Sequentiality vs. concurrency in games and logic / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of indeterminacy of games
@@ Property / cites work: Degrees of indeterminacy of games / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416824
@@ Property / cites work: Q3416824 / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of continuation models for \(\lambda_\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-commutative monads and pseudo-closed 2-categories
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+On Double Dualization Monads.
@@ Property / cites work: On Double Dualization Monads. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726697
@@ Property / cites work: Q5726697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874172
@@ Property / cites work: Q3874172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231031
@@ Property / cites work: Q4231031 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849884
@@ Property / cites work: Q2849884 / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial Boxes in String Diagrams
@@ Property / cites work: Functorial Boxes in String Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q3564946
@@ Property / cites work: Q3564946 / rank @@
+Normal rank
@@ Property / cites work @@
+An Explicit Formula for the Free Exponential Modality of Linear Logic
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Control categories and duality: on the categorical semantics of the lambda-mu calculus
+Normal rank
@@ Property / cites work @@
+Q4222903
@@ Property / cites work: Q4222903 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:636303