La tipificación formal