System Consequence (Q5190975): Difference between revisions

@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Information Flow
@@ Property / cites work: Information Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical manifesto
@@ Property / cites work: A categorical manifesto / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Fibrations and universal view updatability
@@ Property / cites work: Fibrations and universal view updatability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5717099
@@ Property / cites work: Q5717099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311059
@@ Property / cites work: Q5311059 / rank @@
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
+Normal rank