1 research outputs found

    General Topos Semantics for Higher-Order Modal Logic

    No full text
    corecore