agda syntax

syntax.bib

@@ -251,6 +251,15 @@
 	publisher = {Springer}
 }
 
+@Thesis{kokke2016nlq,
+	year = {2016},
+	institution = {Utrecht University},
+	type = {Master},
+	subtitle = {A modular type-logical grammar for quantifier movement, scope islands, and more},
+	title = {NLQ},
+	author = {Kokke, Wen}
+}
+
 @phdthesis{kubota2010flexibility,
 	title = {(In) flexibility of Constituency in Japanese in
                   Multi-Modal Categorial Grammar with Structured