Comparing hierarchies of types in models of linear logic (Q1881220): Difference between revisions

@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Q4263830
@@ Property / cites work: Q4263830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219214
@@ Property / cites work: Q4219214 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413070
@@ Property / cites work: Q4413070 / 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 @@
+Q3024825
@@ Property / cites work: Q3024825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4235429
@@ Property / cites work: Q4235429 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract semantics for observably sequential languages
+Normal rank
@@ Property / cites work @@
+On the symmetry of sequentiality
@@ Property / cites work: On the symmetry of sequentiality / rank @@
+Normal rank
@@ Property / cites work @@
+Localisation and interaction in one dimension
@@ Property / cites work: Localisation and interaction in one dimension / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel and serial hypercoherences
@@ Property / cites work: Parallel and serial hypercoherences / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225150
@@ Property / cites work: Q4225150 / rank @@
+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 @@
+Q4499228
@@ Property / cites work: Q4499228 / rank @@
+Normal rank
@@ Property / cites work @@
+The sequentially realizable functionals
@@ Property / cites work: The sequentially realizable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining a monad and a comonad
@@ Property / cites work: Combining a monad and a comonad / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938567
@@ Property / cites work: Q4938567 / rank @@
+Normal rank