Non-uniform (hyper/multi)coherence spaces (Q3081320): Difference between revisions

@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+A completeness theorem for symmetric product phase spaces
+Normal rank
@@ Property / cites work @@
+Parallel and serial hypercoherences
@@ Property / cites work: Parallel and serial hypercoherences / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract semantics for observably sequential languages
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics: The exponentials
+Normal rank
@@ Property / cites work @@
+Sequentiality in an extensional framework
@@ Property / cites work: Sequentiality in an extensional framework / 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 @@
+Sequential algorithms and strongly stable functions
+Normal rank
@@ Property / cites work @@
+Comparing hierarchies of types in models of linear logic
+Normal rank
@@ Property / cites work @@
+The sequentially realizable functionals
@@ Property / cites work: The sequentially realizable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank