The essence of parallel Algol. (Q1400721): Difference between revisions

@@ Property / cites work @@
+Q4024005
@@ Property / cites work: Q4024005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283246
@@ Property / cites work: Q4283246 / rank @@
+Normal rank
@@ Property / cites work @@
+A model for syntactic control of interference
@@ Property / cites work: A model for syntactic control of interference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222775
@@ Property / cites work: Q4222775 / rank @@
+Normal rank
@@ Property / cites work @@
+From Algol to polymorphic linear lambda-calculus
@@ Property / cites work: From Algol to polymorphic linear lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity and local variables
@@ Property / cites work: Parametricity and local variables / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Semantics of interference control
@@ Property / cites work: Semantics of interference control / rank @@
+Normal rank