A unified category-theoretic formulation of typed binding signatures

Authors
    Publication date
    1 January 2005
    Publisher
    'Association for Computing Machinery (ACM)'
    Doi

      Abstract

      Abstract is not available.

        Similar works

        Full text

        thumbnail-image

        Available Versions

        Crossref

        redirect
        Last time updated on 17/02/2019