traditional works

semantics.bib

@@ -186,6 +186,13 @@
 	publisher = {Walter de Gruyter}
 }
 
+@Book{heim1998semantics,
+	publisher = {Blackwell Publishing},
+	year = {1998},
+	title = {Semantics in Generative Grammar},
+	author = {Heim, Irene and Kratzer, Angelika}
+}
+
 @article{heim2008file,
 	title = {File Change Semantics and the Familiarity Theory of
                   Definiteness},

syntax.bib

@@ -65,6 +65,14 @@
 	author = {Bresnan, Joan and Nikitina, Tatiana}
 }
 
+@Book{carnie2012syntax,
+	publisher = {Blackwell Publishing},
+	year = {2012},
+	subtitle = {A Generative Introduction},
+	title = {Syntax},
+	author = {Carnie, Andrew}
+}
+
 @book{chomsky1957syntactic,
 	title = {Syntactic structures},
 	author = {Chomsky, Noam},
@@ -198,6 +206,13 @@
 	publisher = {Springer}
 }
 
+@Book{hornstein2005understanding,
+	publisher = {Cambridge University Press},
+	year = {2005},
+	title = {Understanding Minimalism},
+	author = {Hornstein, Norbert and Nunes, Jairo and Grohmann, Kleanthes K.}
+}
+
 @Book{jackendoff2002foundations,
 	publisher = {Oxford University Press},
 	year = {2002},
@@ -323,6 +338,13 @@
 	author = {Kubota, Yusuke and Mineshima, Koji and Levine, Robert and Bekki, Daisuke}
 }
 
+@Book{kubota2020type,
+	publisher = {MIT Press},
+	year = {2020},
+	title = {Type-Logical Syntax},
+	author = {Kubota, Yusuke and Levine, Robert D.}
+}
+
 @article{kuno1977empathy,
 	title = {Empathy and syntax},
 	author = {Kuno, Susumu and Kaburaki, Etsuko},