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

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ 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.1016/j.cl.2013.08.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2006002823
@@ Property / OpenAlex ID: W2006002823 / rank @@
+Normal rank
@@ 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