ByNobleID
    FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. | NobleID