A Categorial Type Logic | Publicación