A categorical model for the geometry of interaction (Q817846): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.10.028
+Normal rank
@@ Property / OpenAlex ID @@
+W2020295593
@@ Property / OpenAlex ID: W2020295593 / rank @@
+Normal rank
@@ Property / cites work @@
+Retracing some paths in process algebra
@@ Property / cites work: Retracing some paths in process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+New foundations for the geometry of interaction
@@ Property / cites work: New foundations for the geometry of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753670
@@ Property / cites work: Q2753670 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842980
@@ Property / cites work: Q4842980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203017
@@ Property / cites work: Q3203017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842981
@@ Property / cites work: Q4842981 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique decomposition categories, Geometry of Interaction and combinatory logic
+Normal rank
@@ Property / cites work @@
+Q2778823
@@ Property / cites work: Q2778823 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model of non-deterministic dataflow
@@ Property / cites work: A relational model of non-deterministic dataflow / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical framework for finite state machines
@@ Property / cites work: A categorical framework for finite state machines / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Glueing and orthogonality for models of linear logic
+Normal rank
@@ Property / cites work @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4359479
@@ Property / cites work: Q4359479 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735051
@@ Property / cites work: Q3735051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261081
@@ Property / cites work: Q4261081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492940
@@ Property / cites work: Q4492940 / rank @@
+Normal rank