# 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)$$ ?