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

@@ 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