Concrete stream calculus: An extended study (Q3021409): Difference between revisions

@@ Property / describes a project that uses @@
+OEIS
@@ Property / describes a project that uses: OEIS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+A coinductive calculus of binary trees
@@ Property / cites work: A coinductive calculus of binary trees / rank @@
+Normal rank
@@ Property / cites work @@
+The Bird Tree
@@ Property / cites work: The Bird Tree / rank @@
+Normal rank
@@ Property / cites work @@
+Functional pearl
@@ Property / cites work: Functional pearl / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect trees and bit-reversal permutations
@@ Property / cites work: Perfect trees and bit-reversal permutations / rank @@
+Normal rank
@@ Property / cites work @@
+The worker/wrapper transformation
@@ Property / cites work: The worker/wrapper transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised coinduction
@@ Property / cites work: Generalised coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+A coinductive calculus of streams
@@ Property / cites work: A coinductive calculus of streams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229398
@@ Property / cites work: Q4229398 / rank @@
+Normal rank
@@ Property / cites work @@
+The associativity of equivalence and the Towers of Hanoi problem
+Normal rank
@@ Property / cites work @@
+The music of streams
@@ Property / cites work: The music of streams / rank @@
+Normal rank
@@ Property / cites work @@
+Power series, power serious
@@ Property / cites work: Power series, power serious / rank @@
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating power of lazy semantics
@@ Property / cites work: Generating power of lazy semantics / rank @@
+Normal rank