2 research outputs found

    Prescriptive Frameworks for Multi-Level Lambda-Calculi

    No full text
    corecore