Achim Blumensath - The Power-Set Construction for Tree Algebras

lmcs:9781 - Logical Methods in Computer Science, November 3, 2023, Volume 19, Issue 4 -
The Power-Set Construction for Tree AlgebrasArticle

Authors: Achim Blumensath

    We study power-set operations on classes of trees and tree algebras. Our main result consists of a distributive law between the tree monad and the upwards-closed power-set monad, in the case where all trees are assumed to be linear. For non-linear ones, we prove that such a distributive law does not exist.

    Volume: Volume 19, Issue 4
    Published on: November 3, 2023
    Accepted on: August 2, 2023
    Submitted on: July 11, 2022
    Keywords: Computer Science - Formal Languages and Automata Theory

    Consultation statistics

    This page has been seen 675 times.
    This article's PDF has been downloaded 200 times.