Functorial data migration (Q714735): Difference between revisions

@@ Property / arXiv ID @@
+.1166
@@ Property / arXiv ID: 1009.1166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3575369
@@ Property / cites work: Q3575369 / rank @@
+Normal rank
@@ Property / cites work @@
+Physics, Topology, Logic and Computation: A Rosetta Stone
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701018
@@ Property / cites work: Q5701018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304740
@@ Property / cites work: Q4304740 / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical approach to database semantics
@@ Property / cites work: A categorical approach to database semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Matching lenses
@@ Property / cites work: Matching lenses / rank @@
+Normal rank
@@ Property / cites work @@
+A topos foundation for theories of physics: I. Formal languages for physics
+Normal rank
@@ Property / cites work @@
+Q5297905
@@ Property / cites work: Q5297905 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial functors and polynomial monads
@@ Property / cites work: Polynomial functors and polynomial monads / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic Abstract Syntax via Grothendieck Construction
+Normal rank
@@ Property / cites work @@
+Q4490753
@@ Property / cites work: Q4490753 / rank @@
+Normal rank
@@ Property / cites work @@
+Category-theoretic fibration as an abstraction mechanism in information systems
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768442
@@ Property / cites work: Q2768442 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5676377
@@ Property / cites work: Q5676377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5193160
@@ Property / cites work: Q5193160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362973
@@ Property / cites work: Q4362973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+A category-theoretic account of program modules
@@ Property / cites work: A category-theoretic account of program modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736082
@@ Property / cites work: Q2736082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888795
@@ Property / cites work: Q4888795 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137165
@@ Property / cites work: Q3137165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431040
@@ Property / cites work: Q5431040 / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial data migration
@@ Property / cites work: Functorial data migration / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding type equivalence in a language with singleton kinds
+Normal rank