Realization of Coinductive Types

Abstract:

We give an explicit combinatorial construction of final coalgebras for a modest generalization of polynomial functors on Set. Type signatures are modeled as directed multigraphs instead of endofunctors. The final coalgebra for a type signature F involves the notion of Brzozowski derivative on sets of paths in F.

NB! The talk is on Thursday the 2nd February 2012!

Scientific host: Fritz Henglein Administrative host:Jette Møller. All are welcome