Inductive data types for predicate transformers (Q1199549): Difference between revisions

@@ Property / cites work @@
+A calculus of refinements for program derivations
@@ Property / cites work: A calculus of refinements for program derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3986541
@@ Property / cites work: Q3986541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137150
@@ Property / cites work: Q3137150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+The weakest prespecification
@@ Property / cites work: The weakest prespecification / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Data structures and program transformation
@@ Property / cites work: Data structures and program transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746866
@@ Property / cites work: Q3746866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank