Binary trees as a computational framework (Q461478): Difference between revisions

@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488166
@@ Property / cites work: Q4488166 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Mathematics and Computer Science: Coping with Finiteness
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888749
@@ Property / cites work: Q4888749 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
+Normal rank
@@ Property / cites work @@
+Dichotomy of the Addition of Natural Numbers
@@ Property / cites work: Dichotomy of the Addition of Natural Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3043823
@@ Property / cites work: Q3043823 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3584061
@@ Property / cites work: Q3584061 / rank @@
+Normal rank