Anaphora and type logical grammar - Jager, Gerhard (Trends in Logic, Studia Logica Library, 2005)