NDTTG

AcronymDefinition
NDTTGNew Directions in Type-Theoretic Grammars