Glue semantics
Glue semantics, or simply Glue (Dalrymple et al. 1993; Dalrymple 1999, 2001), is a linguistic theory of semantic composition and the syntax–semantics interface which assumes that meaning composition is constrained by a set of instructions stated within a formal logic (linear logic).