The equivalence of two semantic definitions for inheritance in object-oriented languages (Q6116566): Difference between revisions

@@ Property / cites work @@
+Recursion over realizability structures
@@ Property / cites work: Recursion over realizability structures / rank @@
+Normal rank
@@ Property / cites work @@
+A modest model of records, inheritance, and bounded quantification
+Normal rank
@@ Property / cites work @@
+The semantics of second-order lambda calculus
@@ Property / cites work: The semantics of second-order lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855348
@@ Property / cites work: Q4855348 / rank @@
+Normal rank
@@ Property / cites work @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank