Making Logical Form type-logical: Glue semantics for Minimalist syntax - Gotham, Matthew (Linguistics and Philosophy, 2018)