A-transformation dans les arbres n-aires (Q1836307): Difference between revisions

@@ Property / cites work @@
+Q5545978
@@ Property / cites work: Q5545978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in closed categories
@@ Property / cites work: Coherence in closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092014
@@ Property / cites work: Q4092014 / rank @@
+Normal rank