ByNobleID
    Categorical and game semantics for SCIR. | NobleID