dependent types, formal semantics, Judgemental Interpretation, Lambek calculus, linear logic, substructural calculus, type theory.