Title: Contributions to the problem of type