Coinductive stream calculus

Speaker(s)

Joost Winter

Affiliation

Uniwersytet Warszawski

Date

April 22, 2015, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

In this talk, I will give an introduction to the coinductive stream calculus (developed by Rutten, McIlroy, and others), its connection to coalgebra, automata theory and implementations in the functional programming language Haskell. We take the perspective that streams can be seen as formal power series in a single variable, definable by systems of behavioural differenital equations, and show how various classes of power series (e.g. rational, algebraic) can be represented using certain formats such equations.

---