NLQ: a modular type-logical grammar for quantifier movement, scope islands, and more

DSpace/Manakin Repository