1 research outputs found

    Gamma-Reduction in Type Theory of Acyclic Recursion

    No full text
    corecore