A model for syntactic control of interference (Q4286528): Difference between revisions

@@ Property / author @@
-Peter W. O'Hearn
@@ Property / author: Peter W. O'Hearn / rank @@
-Normal rank
@@ Property / author @@
+Peter W. O'Hearn
@@ Property / author: Peter W. O'Hearn / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of interference control
@@ Property / cites work: Semantics of interference control / rank @@
+Normal rank
@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+The linear abstract machine
@@ Property / cites work: The linear abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Monitors
@@ Property / cites work: Monitors / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical analysis of specification logic
@@ Property / cites work: Semantical analysis of specification logic / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129500000311
+Normal rank
@@ Property / OpenAlex ID @@
+W2141796169
@@ Property / OpenAlex ID: W2141796169 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4286528