I would assume from context, it is the ability to declare a variable in a lexical scope to have a specific type in that scope. With static typing you would then have the ability to catch use of that variable with the wrong type and make that a compile time error.

That said, I believe that pylint could statically catch some of the type errors that are being referred to.