ByNobleID
    Geometry of Interaction and linear combinatory algebras | NobleID