2 research outputs found

    TR-2006011: Locally Connected Recursion Categories

    Full text link

    An algebraic approach to categories of partial morphisms

    No full text
    corecore