Type Logics and Pregroups | Publicación