A Type-Logical Investigation - Neil Whitman (Taylor and Francis, 2004)