Article thumbnail

Power-Set Functors and Saturated Trees

By Jiri Adamek, Stefan Milius, Lawrence S. Moss and Lurdes Sousa
Topics: saturated tree, extensional tree, final coalgebra, power-set functor, modal logic, Data processing Computer science
Publisher: LIPIcs - Leibniz International Proceedings in Informatics. Computer Science Logic (CSL\u2711) - 25th International Workshop/20th Annual Conference of the EACSL
Year: 2011
DOI identifier: 10.4230/LIPIcs.CSL.2011.5
OAI identifier:

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

Suggested articles