Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computing and Information Science
  4. Computing and Information Science Technical Reports
  5. Realization of Coinductive Types

Realization of Coinductive Types

File(s)
Brzoz.pdf (155.27 KB)
Permanent Link(s)
https://hdl.handle.net/1813/22291
Collections
Computing and Information Science Technical Reports
Author
Kozen, Dexter
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.

Date Issued
2011-03-01
Keywords
coalgebra
•
recursive datatypes
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance