Anaphora and type logical grammar - Jäger, Gerhard, (Springer,)