A coinductive calculus of streams
From MaRDI portal
Publication:4657752
DOI10.1017/S0960129504004517zbMath1068.68061OpenAlexW2126684544MaRDI QIDQ4657752
Publication date: 14 March 2005
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129504004517
Related Items
Rational operational models, Semantic Foundations for Deterministic Dataflow and Stream Processing, Unnamed Item, Diacritical companions, From global to local state, coalgebraically and compositionally, Bisimulations Generated from Corecursive Equations, Left-Handed Completeness, Newton series, coinductively: a comparative study of composition, Enhancing expressivity of checked corecursive streams, A proof of Moessner's theorem by coinduction, Semantics for finite delay, Complete sets of cooperations, Checked corecursive streams: expressivity and completeness, Abstract machines, optimal reduction, and streams, A coalgebraic perspective on linear weighted automata, Unnamed Item, Coalgebras in functional programming and type theory, Companions, Codensity and Causality, Concrete stream calculus: An extended study, CPO semantics of timed interactive actor networks, A coinductive calculus of binary trees, (Co)Algebraic Characterizations of Signal Flow Graphs, Product Rules and Distributive Laws, Bisimulation and coinduction enhancements: a historical perspective, Left-handed completeness, Well-Definedness of Streams by Termination, Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme, Unnamed Item, Context-free coalgebras, Stick breaking, in coalgebra and probability, Observational Coalgebras and Complete Sets of Co-operations, On the complexity of stream equality
