Ranta Type-theoretical Grammar - Oxford University PressOxford University Press 2023 ISBN: 9781383026443 Source: EBOOK