@MISC{Kozen_mfps2011, author = {Dexter Kozen}, title = {MFPS 2011 Realization of Coinductive Types}, year = {} }
Bookmark
OpenURL
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. Key words: derivative