Similar Items: A Rational Deconstruction of Landin's SECD Machine with the J Operator
- Rational streams coalgebraically
- Graph Logics with Rational Relations
- Logical and Algebraic Characterizations of Rational Transductions
- Context-Sensitive Languages, Rational Graphs and Determinism
- Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
- Continuity of Functional Transducers: A Profinite Study of Rational Functions