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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.2002.2995
+Normal rank
@@ Property / OpenAlex ID @@
+W3182437156
@@ Property / OpenAlex ID: W3182437156 / rank @@
+Normal rank
@@ 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