32 research outputs found

    Static typing for a substructural lambda calculus

    No full text
    corecore