Generalization of final algebra semantics by relativization (Q5887520): Difference between revisions

@@ Property / cites work @@
+The algebraic specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Programming with Equations
@@ Property / cites work: Programming with Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Final Data Types and Their Specification
@@ Property / cites work: Final Data Types and Their Specification / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction and limiting completeness in equational languages
+Normal rank
@@ Property / cites work @@
+Q3721784
@@ Property / cites work: Q3721784 / rank @@
+Normal rank
@@ Property / cites work @@
+Final algebra semantics and data type extensions
@@ Property / cites work: Final algebra semantics and data type extensions / rank @@
+Normal rank