A Duality of Sorts (Q5410453): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-40355-2_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1894975224
@@ Property / OpenAlex ID: W1894975224 / rank @@
+Normal rank
@@ Property / cites work @@
+The under-appreciated unfold
@@ Property / cites work: The under-appreciated unfold / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Programming with Adjunctions
@@ Property / cites work: Generic Programming with Adjunctions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank
@@ Property / cites work @@
+Paramorphisms
@@ Property / cites work: Paramorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-level types and parameterized modules
@@ Property / cites work: Two-level types and parameterized modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q2718773
@@ Property / cites work: Q2718773 / rank @@
+Normal rank
@@ Property / cites work @@
+Deforestation: Transforming programs to eliminate trees
+Normal rank