What is the definition of a strong type?

I know the definition of a type on a set of parameters, but I can not find any strong type definition. For example, what does writing mean? $ stp (a / A) $ ?