LCTTNL

AcronymDefinition
LCTTNLLambda Calculus Type Theory and Natural Language