A coinductive calculus of streams
From MaRDI portal
Recommendations
Cited in
(57)- Semantics for finite delay
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- A proof of Moessner's theorem by coinduction
- Stick breaking, in coalgebra and probability
- Diacritical companions
- From global to local state, coalgebraically and compositionally
- Enhancing expressivity of checked corecursive streams
- Bisimulation and coinduction enhancements: a historical perspective
- Left-handed completeness
- Context-free coalgebras
- A term calculus for (co-)recursive definitions on streamlike data structures
- A tutorial on coinductive stream calculus and signal flow graphs
- Rational operational models
- Observational coalgebras and complete sets of co-operations
- On the complexity of stream equality
- Stream Automata Are Coalgebras
- Left-handed completeness
- Stream differential equations: specification formats and solution methods
- Companions, codensity and causality
- Concrete stream calculus: an extended study
- Bisimulations generated from corecursive equations
- Rational streams coalgebraically
- Sampling, splitting and merging in coinductive stream calculus
- Behavioural Differential Equations and Coinduction for Binary Trees
- Well-Definedness of Streams by Termination
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
- A coalgebraic perspective on linear weighted automata
- scientific article; zbMATH DE number 1481753 (Why is no real title available?)
- Newton series, coinductively: a comparative study of composition
- A coinductive approach to real analysis
- Elements of stream calculus (an extensive exercise in coinduction)
- Semantic Foundations for Deterministic Dataflow and Stream Processing
- Abstract machines, optimal reduction, and streams
- scientific article; zbMATH DE number 7297867 (Why is no real title available?)
- scientific article; zbMATH DE number 7407795 (Why is no real title available?)
- Functional pearl: streams and unique fixed points
- Imperative streams—a monadic combinator library for synchronous programming
- Type-Based Productivity of Stream Definitions in the Calculus of Constructions
- Formal Methods for Components and Objects
- (Co)algebraic characterizations of signal flow graphs
- Coinductive Properties of Causal Maps
- Typed Lambda Calculi and Applications
- Product rules and distributive laws
- Coinduction: automata, formal proof, companions (invited paper)
- Checked corecursive streams: expressivity and completeness
- Complete sets of cooperations
- Coalgebras in functional programming and type theory
- Products, polynomials and differential equations in the stream calculus
- Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones
- An implicit function theorem for the stream calculus
- Checking equivalence of corecursive streams: an inductive procedure
- Differentiable causal computations via delayed trace (extended version)
- PSEUDO: applications of streams and lazy evaluation to integrable models
- Fan-causality and uniform continuity on final coalgebras
- A complete theory of sequential digital circuits: denotational, operational and algebraic semantics
- CPO semantics of timed interactive actor networks
- A coinductive calculus of binary trees
This page was built for publication: A coinductive calculus of streams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4657752)
