compositional semantics, Higher-Order Linear Intuitionistic Logic, lambda calculus, lexical semantics.
