Modern perspectives in type-theoretical semantics. ([2017])