Q5013813 (Q5013813): Difference between revisions

@@ Property / cites work @@
+Jumping Boxes
@@ Property / cites work: Jumping Boxes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327828
@@ Property / cites work: Q4327828 / rank @@
+Normal rank
@@ Property / cites work @@
+de Bruijn notation as a nested datatype
@@ Property / cites work: de Bruijn notation as a nested datatype / rank @@
+Normal rank
@@ Property / cites work @@
+Q5827040
@@ Property / cites work: Q5827040 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads of coalgebras: rational terms and term graphs
+Normal rank
@@ Property / cites work @@
+Proceedings 7th International Workshop on Computing with Terms and Graphs
+Normal rank
@@ Property / cites work @@
+Maximal sharing in the Lambda calculus with letrec
+Normal rank
@@ Property / cites work @@
+Q4362961
@@ Property / cites work: Q4362961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5845414
@@ Property / cites work: Q5845414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287535
@@ Property / cites work: Q5287535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank