Similar Items: Representations of Stream Processors Using Nested Fixed Points
- Stream processors and comodels
- Fixed point combinators as fixed points of higher-order fixed point generators
- On Nominal Syntax and Permutation Fixed Points
- Proper Functors and Fixed Points for Finite Behaviour
- Fixed Points Theorems for Non-Transitive Relations
- Computational expressivity of (circular) proofs with fixed points