Type-theoretical Grammar - Ranta (Oxford University PressOxford University Press, 2023)