Q5018485 (Q5018485): Difference between revisions

@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+Q4218924
@@ Property / cites work: Q4218924 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Q3024825
@@ Property / cites work: Q3024825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364401
@@ Property / cites work: Q4364401 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936346
@@ Property / cites work: Q4936346 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical linear logic of implications
@@ Property / cites work: Classical linear logic of implications / rank @@
+Normal rank
@@ Property / cites work @@
+On traced monoidal closed categories
@@ Property / cites work: On traced monoidal closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Glueing and orthogonality for models of linear logic
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in closed categories
@@ Property / cites work: Coherence in closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource modalities in tensor logic
@@ Property / cites work: Resource modalities in tensor logic / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for interaction
@@ Property / cites work: Calculi for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938649
@@ Property / cites work: Q4938649 / rank @@
+Normal rank
@@ Property / cites work @@
+A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus
+Normal rank
@@ Property / cites work @@
+On the Relation of Interaction Semantics to Continuations and Defunctionalization
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+Normal rank