Applicative and combinatiry categorical grammar (from syntax to functional semantics)